Presná definícia
Čo znamená predpoklad otvoreného sveta?
Predpoklad otvoreného sveta hovorí, že z neprítomnosti tvrdenia nemožno usúdiť jeho nepravdivosť: fakt môže byť jednoducho neznámy alebo ešte nezaznamenaný. Je typický pre RDF/OWL znalostné systémy. Explicitná negácia a chýbajúca informácia sú preto odlišné stavy.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Ak ontológia neuvádza telefón zákazníka, systém odpovie „nie je známe“, nie „zákazník telefón nemá“. Povinnosť poľa sa kontroluje validačnou schémou alebo aplikáciou, nie OWL inferenciou. Eval obsahuje explicitne záporné, kladné aj neznáme prípady.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje predpoklad otvoreného sveta?
Reasoner posudzuje všetky modely kompatibilné s axiómami; chýbajúce tvrdenie môže byť pravdivé v niektorom z nich.
Kedy má predpoklad otvoreného sveta praktický význam?
Ak ontológia neuvádza telefón zákazníka, systém odpovie „nie je známe“, nie „zákazník telefón nemá“.
S čím si pojem nezamieňať?
Closed-world assumption považuje nezistené tvrdenie za nepravdivé v rámci kompletnej databázy alebo úlohy.
Ako sa výsledok kontroluje?
Kontrolujú sa trojstavové prípady true/false/unknown, explicitná negácia a to, či aplikácia nezneužíva absenciu.
Na čo si dať pozor?
Používatelia z databáz môžu omylom zameniť neznáme za nie; povinné údaje treba validovať samostatne.