開放世界假定

開放世界假定是當前沒有陳述的事情是未知的假定 。 開放世界假定可以被認爲暗含在 RDF 和 OWL 中 ， 因爲沒有明確的包含在語義 web 或本體 ( ontology ) 中的所有元組 ， 都被暗含的假定爲是未知的事實而不是假的 。 例子 1. 陳述: " Mary " 是 " 法國 " 的 " 公民 " 。 提問: Mary 是加拿大公民嗎? " 封閉世界 " ( 比如 SQL 或 XML ) 回答: 否 。 " 開放世界 " 回答: 不知道 ( Mary 可能有雙重國籍 ) 。 例子 2. 陳述: " Jane " 的 " 母親是 " " Mary " 。 " 母親是 " 的 " 基數 " 爲 1 。 新陳述: " Jane " 的 " 母親是 " " Elizabeth " 。 " 封閉世界 " 反應: 錯誤 。 人只能有一個母親 。 " 開放世界 " 反應: 新事實 。 " Mary " " 就是 " " Elizabeth " 。