2
Q
反身性保護
A
回答
5
: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
相關問題
- 1. 如何保護webhook身份
- 2. 保護源的身份
- 3. 保護url反編譯
- 4. 反編譯保護APK
- 5. 保護div屬性
- 6. 如何從反編譯保護或保護java代碼
- 7. PHP接力保護屬性,保護方法,保護的構建體
- 8. 訪問PHP保護性
- 9. Groovy的枚舉保護性
- 10. CSRF保護和可用性
- 11. 保護性的行爲
- 12. 內存保護屬性
- 13. 與保護的屬性setter
- 14. Cython,受保護的屬性
- 15. mongodb/mongoose保護屬性
- 16. Python「受保護」屬性
- 17. 身份驗證受保護的nuget.server
- 18. 通過身份驗證保護網頁
- 19. 如何保護Azure ACS身份驗證?
- 20. 使用反射保護值的變化?
- 21. 反射式XSS保護 - 澄清?
- 22. 從反向工程保護python代碼
- 23. Python Post與反刮擦保護形成
- 24. C++知識產權保護/反轉
- 25. JavaScript反氾濫垃圾郵件保護?
- 26. 受保護的內部屬性vs受保護的屬性和Resharper
- 27. 通過REST API進行身份驗證並保護API本身
- 28. 反應護欄
- 29. 保護要更新的屬性
- 30. Ruby - 忽略受保護的屬性
謝謝,你說'其實,每一個反身性的領域是貓頭鷹: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)。 –