反身性保護

This是我的本體創建與protege 5。反身性保護

，如果我做cl1和cl2不相交，則本體正在不一致，但如果我取消is_friend_of反思，本體是不矛盾了。我的本體有什麼問題？

我只要cl1職業個人有is_friend_of財產。

來源

2017-06-29 alex

:is_friend_of的自反性是不一致的關鍵。

看看裏森納>不一致本體解釋：

我會嘗試這樣的解釋翻譯成（差）英語：

由於:is_friend_of是自反，然後:c2_inst :is_friend_of :c2_inst。
由於:is_friend_of的域爲:cl1，因此c2_inst rdf:type :cl1。
另外，c2_inst rdf:type :cl2。
但是:cl1和:cl2是不相交的 - 矛盾。

事實上，每一個反身性的領域是owl:Thing。

作爲一種變通方法，你可以取消的is_friend_of反思並以這種方式定義:cl1：

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

來源

2017-06-29 19:52:00

謝謝，你說'其實，每一個反身性的領域是貓頭鷹：Thing'。爲什麼？爲什麼我不能將自反屬性域限制爲只有一個定義的類，就像我爲其他屬性所做的那樣？ – alex

反身性是一種全球性財產，它會影響所有人。如果你想要一個地方反身性，按照答案中的建議使用'Self'。 –

@alex，請參閱[本主題]（https://mailman.stanford.edu/pipermail/protege-owl/2011-June/016877.html）。此外，請使用'has_friend'或類似的東西，而不是'is_friend_of'，這會更容易理解。順便說一句，有[逆對象屬性]（https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/#Inverse_Object_Properties_2）。 –

回答

相關問題