ist es möglich, dass eine Eigenschaft gleichzeitig mehrere inverseOf-Eigenschaften aufweist? Zum Beispiel:In OWL, ist eine Eigenschaft die Umkehrung von mehr als einer Eigenschaft?
<prop1, owl:inverseOf, prop2>
<prop1, owl:inverseOf, prop3>
<prop1, owl:inverseOf, prop4>
Es gibt kein Problem mit behauptet, daß eine Eigenschaft P die inverseOf mehr als eine Eigenschaft ist, z, q und r. Es bedeutet jedoch, dass q und r gleichwertig sind. Da
p inverseOf q
p inverseOf r
bedeutet, dass
p (x, y) bedeutet q (y, x)
p (x, y) bedeutet, r (y, x)
q (y, x) bedeutet, p (x, y)
r (y, x) bedeutet, p (x, y)
wir, dass
q ableiten kann (y, x) r bedeutet, (y, x)
r (y, x) bedeutet, q (y, x)
was bedeutet, dass
q equivalentProperty r
ich bin sicher, dass Sie meinen 'p (x, y) folgt q (y, x)'? Andernfalls könnten Sie folgern, dass "p inverseOf p", indem einfach die Kette 'p (x, y) verwendet wird, q (x, y) impliziert, q (x, y) impliziert p (x, y) => p (x, y) impliziert p (x, y) '. Aber ich bin mir sicher, dass du das versehentlich getan hast: D – AKSW
@AKSW Ups! Guter Fang! Jetzt behoben. –