Property Chain Axiom

Declares that an ObjectProperty is the composition of a chain of other ObjectProperties — e.g. `hasParent o hasParent ⊑ hasGrandparent`. The value is an `rdf:List` of the chained properties, ordered. Foundational for OWL 2 reasoning beyond simple subPropertyOf. Mirrors `owl:propertyChainAxiom`.