问题
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.
回答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 ) .
来源：https://stackoverflow.com/questions/24147160/how-to-specify-that-a-chain-of-relationships-implies-another