OWL 2 中的非自反对象属性 isSiblingOf

Question

我想推断人 p 的所有兄弟姐妹，除了 p 自己。我使用 Protege 4.3.0 和对象属性 isSiblingOf:

isChildOf o isParentOf SubPropertyOf isSiblingOf

它工作得很好，但自然也可以推断出那个人是他自己的兄弟姐妹。不能在对象属性 isSiblingOf 中使用“不自反”选项。

基本上，我想继续讨论How to infer isBrotherOf property between two individuals 的问题，最后两个 cmets 以是否可能的困境结束。
如果可以，怎么做？

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 是兄弟姐妹”。