Open World vs. Closed World

Created on March 9, 2013, 11:01 p.m. by Hevok & updated by Hevok on May 2, 2013, 5:37 p.m.

In the Open World Assumption the existence of further Individuals is possible, if they are not explicitly excluded or forbidden. In the Closed World Assumption it s assumed that the Knowledge Base contains always all Individuals. If there is no Knowledge about an Individual this individual does not exists.

For the Semantic Web we have to consider the Open World Assumption.

Knowledge Base are all children of Hevok female? no idea since we do not know If we assume that when know everything about Hevok then all children of Hevok of his children are female
child(Hevok,EVA) Female(EVA) ? ⊨ ∀child.Man(Hevok) DL answers don't know PROLOG answers yes
≤1 child.T(Hevok) ? ⊨ ∀child.Man(Hevok) yes now we know everything about Hevok's children
worldview.jpg

Tags: knowledge, world view, logic, ai
Categories: Concept, reST
Children: Closed World

Update entry (Admin) | See changes

Comment on This Data Unit