This https://ufile.io/rcv9m是我用 protege 5 创建的本体。
如果我做cl1 and cl2不相交，那么本体是不一致的，但是如果我取消选中is_friend_of反身性的，本体论不再不一致。我的本体有什么问题吗？
我想要的只是cl1阶级个人有is_friend_of财产。
自反性:is_friend_of对于不一致是至关重要的。
看一眼Reasoner > 本体解释不一致 :
我会尝试将这个解释翻译成（蹩脚）英语：
- Since
:is_friend_of是反身的，那么:c2_inst :is_friend_of :c2_inst.
- 由于域为
:is_friend_of is :cl1, then c2_inst rdf:type :cl1.
- Also,
c2_inst rdf:type :cl2.
- But
:cl1 and :cl2是不相交的——矛盾。
事实上，每个自反属性的域都是owl:Thing.
作为解决方法，您可以取消选中is_friend_of并定义:cl1这样：
Class: cl1
EquivalentTo:
is_friend_of some owl:Thing,
is_friend_of some Self
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
