开放世界假设

简明解释

开放世界假设（Open-World Assumption，OWA）把“尚不能证明某陈述”与“该陈述为假”分开的知识语义约定。例如知识库没有“海岚症伴乏力”这条边时，OWA下只能说库中未给出，不能据缺失推出否定。这适合信息可能分散或不完备的网络数据。[1, §§1, 5–7]

别和什么混淆

开放世界并不禁止否定：OWL可表达否定属性断言、类不相交等特定否定性公理，应用词汇也可定义否定含义；但基础RDF数据模型没有通用的“三元组否定”运算符。它不要求所有应用都开放，也不保证缺失项为真。

在本书中

见第7章：知识表示与推理。