Irreflexive对象属性isSiblingOf在OWL 2中

Question

我想推断所有兄弟姐妹，除了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是同级兄弟”。