http://www.w3.org/2002/07/owl#propertyChainAxiom

used by 0: