プロテクティブの再帰的性質

Question

Thisは、プロテジェ5で作成された私のオントロジーです。

私はcl1とcl2互いに素を作る場合は、オントロジーが矛盾しているが、私はis_friend_ofが再帰チェックを外した場合、オントロジーはもはや矛盾するものではありません。私のオントロジで何が間違っていますか？

cl1クラスの個人にはis_friend_ofというプロパティが必要です。

Answer 1

:is_friend_ofの再帰性は、不一致のために不可欠です。

はのReasoner>矛盾したオントロジーの説明を見てみましょう：

私は（貧しい）英語にこの説明を翻訳してみましょう：

1. :is_friend_ofが反射的であるので、 :c2_inst :is_friend_of :c2_inst。
2. :is_friend_ofのドメインは:cl1であるため、c2_inst rdf:type :cl1です。また、c2_inst rdf:type :cl2。
3. しかし、:cl1と:cl2は、互いに矛盾しています。

---

は実際には、すべての反射的性質のドメインがowl:Thingです。

回避策として、あなたはis_friend_ofの再帰性のチェックを外すことができ、このように:cl1を定義します。

Class: cl1 
    EquivalentTo: 
     is_friend_of some owl:Thing, 
     is_friend_of some Self