开放世界假定

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

例子 1.
  陈述: "Mary"是"法国"的"公民"。

  提问: Mary 是加拿大公民吗?

  "封闭世界"(比如 SQL 或 XML)回答: 否。
  "开放世界"回答: 不知道(Mary 可能有双重国籍)。

例子 2.
  陈述: "Jane"的"母亲是""Mary"。
        "母亲是"的"基数"为 1。

  新陈述: "Jane"的"母亲是""Elizabeth"。

  "封闭世界"反应: 错误。人只能有一个母亲。
  "开放世界"反应: 新事实。"Mary""就是""Elizabeth"。

参见

封闭世界假定

计算机逻辑