Wie man angibt, dass eine Kette von Beziehungen eine andere impliziert

Question

Angenommen, ich definiere eine OWL-Ontologie für Familienbeziehungen und habe bereits die Beziehungen "Schwester-von" und "Eltern-von" definiert. Ich möchte jetzt eine Beziehung "Tante-von" definieren und angeben, dass diese Beziehung durch eine Kette der anderen beiden impliziert ist. Mit anderen Worten: Wenn X "Schwester-von" Y ist und Y "Eltern-von" Z ist, dann ist X "Tante-von" Z.

Gibt es eine Möglichkeit, dies zu tun? Es ähnelt owl:TransitiveProperty, aber das funktioniert offensichtlich nicht. Es liegt auch in der gleichen allgemeinen Richtung wie "owl:inverseOf" in Bezug auf die Definition von Beziehungen zwischen Eigenschaften.

Bearbeiten

Ich denke, wonach ich suche, ist eine Möglichkeit anzugeben, dass eine Eigenschaft (in diesem Fall "Tante-von") eine Komposition anderer Eigenschaften ist, aber ich finde immer noch keinen Weg, dies in OWL zu tun.

Answer 1

Unter der Annahme der Verwendung von OWL2 können Sie das Konstrukt ObjectPropertyChain verwenden (dieses Feature war in OWL1 nicht verfügbar). Dies kann in RDF einfach mit Turtle ausgedrückt werden:

ex:auntOf owl:propertyChainAxiom ( ex:sisterOf ex:parentOf ) .