在 OWL 中,是否有可能 属性 是多个 属性 的倒数?

In OWL, is possible that a property is the inverse of more than one property?

一个属性有可能同时具有多个'inverseOf'特征吗?例如:

<prop1, owl:inverseOf, prop2>
<prop1, owl:inverseOf, prop3>
<prop1, owl:inverseOf, prop4>

断言 属性 p 是多个 属性 的倒数是没有问题的,例如 q 和 r。然而,这确实意味着 q 和 r 最终是等价的。自

p inverseOf q
p inverseOf r

表示

p(x,y) implies q(y,x)
p(x,y) implies r(y,x)
q(y,x) implies p(x,y)
r(y,x) implies p(x,y)

我们可以推断

q(y,x) implies r(y,x)
r(y,x) implies q(y,x)

这意味着

q equivalentProperty r