开放世界假定

开放世界假定是当前没有陈述的事情是未知的假定。开放世界假定可以被认为暗含在 RDFOWL 中,因为没有明确的包含在语义 web 或本体(ontology)中的所有元组,都被暗含的假定为是未知的事实而不是假的。

例子 1.

 陈述: "Mary"是"法国"的"公民"。
 提问: Mary 是加拿大公民吗?
 "封闭世界"(比如 SQL 或 XML)回答: 否。
 "开放世界"回答: 不知道(Mary 可能有双重国籍)。

例子 2.

 陈述: "Jane"的"母亲是""Mary"。
       "母亲是"的"基数"为 1。
 新陈述: "Jane"的"母亲是""Elizabeth"。
 "封闭世界"反应: 错误。人只能有一个母亲。
 "开放世界"反应: 新事实。"Mary""就是""Elizabeth"。

参见

封闭世界假定