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

• Předpoklady pro použití CWA:

• (1) Různé konstanty neoznačují tentýž objekt

• Př.: F(Jiří, Kato), F(Jiří, Jánošík) S’(Kato, Jánošík)

• Jsou-li Kato a Jánošík jména téhož agenta obdržíme nesmysl

• (2) Doména je uzavřená (konstanty z EDB+IDB)

• Př.: jinak by nešlo odvodit S´(Jánošík,Babinský;

• (mohli by mít otce “mimo” databázi).

• Tv.: (o konzistenci CWA): Nechť E je množina tvrzení z EDB, I je množina tvrzení odvoditelná datalogickým programem IDBEDB, J je množina tvrzení tvaru  R(a1,...,ak) , kde R je predikátový symbol z IDBEDB a R(a1,...,ak) není v I  E. Pak IEJ je logicky konzistentní.