跳转到内容

开放世界假定

维基百科,自由的百科全书

这是开放世界假定当前版本,由暁月凛奈留言 | 贡献编辑于2022年10月11日 (二) 14:18 (使用DisamAssist清理消歧义链接:OWL(链接至网络本体语言)。)。这个网址是本页该版本的固定链接。

(差异) ←上一修订 | 最后版本 (差异) | 下一修订→ (差异)

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

例子 1.

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

例子 2.

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

参见

[编辑]

封闭世界假定