Předpoklad uzavřeného světa (4)

• LP CWA  ZAJÍMAVÝ(Emil)

• LP CWA NUDNÝ(Emil)

• Žádný model LP ale nemůže obsahovat

• ZAJÍMAVÝ(Emil),NUDNÝ(Emil)

• DATALOGnení konsistentní s CWA.

• Pz.: LP má dva minimální modely:

• NUDNÝ(Emil)a ZAJÍMAVÝ(Emil)

• Stratifikace řeší příklad přirozeně:

• EDBLP = 

• nejprve se spočítá ZAJÍMAVÝ, což jest , pak NUDNÝ= Emil,

• tj. je vybrán minimální model NUDNÝ(Emil)