owl - OWLオントロジー定義でのAllDifferentの使用

Question

誰かが'OWLの意味を説明できますか？一意の名前の仮定はありません。2つの名前が異なるからといって、それらが異なる個人を参照していることを意味するわけではありません。

それは、クラスに属する個人を宣言するたびに、それらはすべて異なることを述べる必要があるということですか？

ありがとう

Answer 1

一意の名前の仮定（UNA）を作成するオントロジーは、すべてのエンティティを暗黙的に別個のものとして扱います。オントロジーがUNAを強制しない場合、異なる名前を持つ2つの概念が同等であると推測される可能性があります。

OWLはUNAの仮定をしていません。differentFromしたがって、メンバーが本当に異なるクラスがあり、それをモデル化する場合は、またはを使用して明示的に宣言する必要がありますAllDifferent。これは、フクロウ言語ガイドの3つの異なるワインの例で行われていることとまったく同じです。