[科普中国]-开放世界假定

开放世界假定是当前没有陈述的事情是未知的假定。

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

例子 1陈述: "Mary"是"法国"的"公民"。 提问: Mary 是加拿大公民吗? "封闭世界"(比如 SQL 或 XML)回答: 否。"开放世界"回答: 不知道(Mary 可能有双重国籍)。例子 2陈述: "Jane"的"母亲是""Mary"。 "母亲是"的"基数"为 1。 新陈述: "Jane"的"母亲是""Elizabeth"。 "封闭世界"反应: 错误。人只能有一个母亲。 "开放世界"反应: 新事实。"Mary""就是""Elizabeth"。封闭世界假定封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称呼Ray Reiter对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定，宣称知识的缺乏不蕴涵虚假。

否定为失败与封闭世界假定有关，因为它总体上相信不能被证明为真的所有命题都是假的2。

本词条内容贡献者为:

李航 - 副教授 - 西南大学