有没有办法在OWL2中建立反射性的产权链？

Question

让我们说我们有一个关于家庭关系的小本体论。我想推断间接关系，比如阿姨和叔叔。

为此使用属性链似乎很有吸引力，但那些总是最终具有反身性。例如，如果试图像这样推断兄弟姐妹：

:sibling owl:propertyChainAxiom ( :child [owl:inverseOf :child])

每个人最终都成为自己的兄弟姐妹。这意味着根据兄弟关系为叔叔/阿姨建立一条链是不可能的。

任何提示如何以其他方式实现这一目标？

Answer 1

迟到的答案，但我遇到了同样的问题并使用了SWRL规则来解决这个问题。

兄弟的例子

isParentOf(?parent, ?child2) ^ isSonOf(?child, ?parent) ^ DifferentFrom(?child, ?child2) -> isBrotherOf(?child, ?child2)