semantic-web - 在 OWL 中，一个属性是否可能是多个属性的逆？

Question

一个属性有可能同时具有多个“inverseOf”特征吗？例如:

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

Answer 1

断言属性 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