En este documento, presentamos una nueva semántica (que llamamos D3-WFS-DCOMP) y la comparamos con la semántica estable (STABLE). Para programas normales, esta semántica se basa en la integración de la semántica bien fundamentada (WFS) y la completación de Clarks. D3-WFS-DCOMP tiene las siguientes propiedades atractivas: Primero, coincide con STABLE en el sentido de que nunca define un modelo no minimal o un modelo no minimal soportado. Segundo, para programas normales extiende WFS. Tercero, todo modelo estable de un programa disyuntivo es un modelo D3-WFS-DCOMP de . Cuarto, se construye utilizando reglas de transformación aceptadas por STABLE. También introducimos una segunda semántica que llamamos D2-WFS-DCOMP. Mostramos que D2-WFS-DCOMP es equivalente a D3-WFS-DCOMP para programas normales, pero esto no es el caso para programas disyuntivos. También presentamos una tercera nueva semántica que admite el uso de disyunciones impl