How to specify that a chain of relationships implies another
问题 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