How to specify that a chain of relationships impli

Question

Suppose I'm defining an OWL ontology for family relationships, and I've already defined the relationships "sister-of" and "parent-of". I'd now like to define a relationship "aunt-of" and specify that this relationship is implied by a chain of the other two. In other words: if X "sister-of" Y, and Y "parent-of" Z, then X "aunt-of" Z.

Is there a way to do this? It's similar to owl:TransitiveProperty but that obviously doesn't work. It's also in the same general vein as "owl:inverseOf" in terms of defining relationships among properties.

Edit

I guess what I'm looking for is a way to specify that one property (in this case "aunt-of") is a composition of other properties, but I still can't actually find a way to do this in OWL.

Answer 1

Assuming use of OWL2, you can use the ObjectPropertyChain construct (this feature was not available in OWL1). This can be expressed in RDF using Turtle as simply:

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