在 OWL 中，一个属性是否可能是多个属性的倒数？

Question

it is possible that a property has multiple 'inverseOf' characteristic simultaneously? For instance:

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

Answer 1

There's no problem with asserting that a property p is the inverseOf more than one property, eg, q, and r. It does mean, however, q and r end up being equivalent. Since

p inverseOf q
p inverseOf r

means that

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)

we can infer that

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

which means that

q equivalentProperty r