owl - 蛋白质的反身性

This是我用protege 5创建的本体。

如果我使cl1和cl2不相交，则该本体是不一致的，但是如果我取消选中is_friend_of自反，该本体就不再不一致。我的本体怎么了？

我只希望cl1类个人具有is_friend_of属性。

最佳答案

:is_friend_of的自反性对于不一致至关重要。

看看Reasoner>不一致的本体说明:



我将尝试将这种解释翻译成英文:

由于: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

关于owl - 蛋白质的反身性，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/44822488/