OWL 2中的自反对象属性isSiblingOf

Question

我想推断出人p的所有兄弟姐妹，除了人p。我使用Protege 4.3.0和对象属性isSiblingOf：isChildOf o isParentOf SubPropertyOf isSiblingOf它工作得很好，但是自然也可以推断出该人是自己的兄弟姐妹。在对象属性isSiblingOf中不能使用“ irreflexive”选项。基本上，我想继续对问题How to infer isBrotherOf property between two individuals进行讨论，其中最后两个评论无论是否可能都以难题结尾。如果可能，怎么办？

Answer 1

解决此问题的一种方法是使用SWRL规则。在Protege上，

1. 转到窗口
2. 转到选项卡
3. 单击SWRL选项卡
4. 编写规则：

isChildOf(?x,?y)^ParentOf(?y,?z)^differentFrom(?z,?x)->isSibling(?x,?z)

这意味着，如果“ x是y的子代”，并且“ y也是z的父代”并且“ z和x不同”，那么“ z和x是同级兄弟”。