Change: Open World vs. Closed World

created on March 9, 2013, 11:01 p.m. by Hevok & updated on March 9, 2013, 11:02 p.m. by Hevok

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.

================= ====================== ===================== ========================== If we assume that no idea since when know everything
are all childen we do not know about Hevok then all of Hevok female? all children of Hevok of his children are female


child(Hevok,EVA) ? ⊨ ∀child.Man(Hevok) DL answers PROLOG answers yes Female(EVA) don't know


                                                           now we know everything

≤1 child.T(Hevok) ? ⊨ ∀child.Man(Hevok) yes about Hevok's children ================= ====================== ===================== ==========================

worldview.jpg

Categories: Concept, reST

Comment: Corrected table and image.

See entry | Admin

Comment on This Data Unit