ユニークな名前の想定

一意名前仮定は、一部のオントロジー言語や記述論理で採用されている簡略化仮定です。一意名前仮定を持つ論理では、異なる名前は常に世界内の異なるエンティティを参照します。^{[ 1 ]} これは、レイ・ライターが1984年の論文「関係データベース理論の論理的再構築に向けて」（ML Brodie、J. Mylopoulos、JW Schmidt（編）、『人工知能、データベース、プログラミング言語におけるデータモデリング』、Springer、1984年、191～233ページ）で、データベース管理システム（SQLなど）に暗黙のうちに含まれていることが多い閉じた世界仮定について議論した際に含まれていました。

標準オントロジー言語OWLはこの仮定を置かず、2つの名前が同じエンティティを表すか異なるエンティティを表すかを表現する明示的な構成要素を提供する。^{[ 2 ]}^{[ 3 ]}