開放世界假定

開放世界假定是當前沒有陳述的事情是未知的假定。

基本介紹

• 中文名：開放世界假定
• 學科：電子工程

簡介

開放世界假定可以被認為暗含在RDF和OWL中，因為沒有明確的包含在語義 web 或本體(ontology)中的所有元組，都被暗含的假定為是未知的事實而不是假的。

例子 1

陳述: "Mary"是"法國"的"公民"。 提問: Mary 是加拿大公民嗎? "封閉世界"(比如 SQL 或 XML)回答: 否。"開放世界"回答: 不知道(Mary 可能有雙重國籍)。

例子 2

陳述: "Jane"的"母親是""Mary"。       "母親是"的"基數"為 1。 新陳述: "Jane"的"母親是""Elizabeth"。 "封閉世界"反應: 錯誤。人只能有一個母親。 "開放世界"反應: 新事實。"Mary""就是""Elizabeth"。

封閉世界假定

封閉世界假定是當前不是已知的事物都為假的假定。這個名字也稱呼Ray Reiter對這個假定的邏輯形式化。與封閉世界假定相對立的使用開放世界假定，宣稱知識的缺乏不蘊涵虛假。

否定為失敗與封閉世界假定有關，因為它總體上相信不能被證明為真的所有命題都是假的。