<http://purl.obolibrary.org/obo/RO_0002582> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AnnotationProperty> .
<http://purl.obolibrary.org/obo/RO_0002582> <http://www.w3.org/2000/01/rdf-schema#label> "is a defining property chain axiom where second argument is reflexive" .
<http://purl.obolibrary.org/obo/RO_0002582> <http://purl.obolibrary.org/obo/IAO_0000115> "If R <- P o Q is a defining property chain axiom, then (1) R -> P o Q holds and (2) Q is either reflexive or locally reflexive. A corollary of this is that P SubPropertyOf R." .
<http://purl.obolibrary.org/obo/RO_0002582> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AnnotationProperty> .
<http://purl.obolibrary.org/obo/RO_0002582> <http://www.w3.org/2000/01/rdf-schema#label> "is a defining property chain axiom where second argument is reflexive" .
<http://purl.obolibrary.org/obo/RO_0002582> <http://purl.obolibrary.org/obo/IAO_0000115> "If R <- P o Q is a defining property chain axiom, then (1) R -> P o Q holds and (2) Q is either reflexive or locally reflexive. A corollary of this is that P SubPropertyOf R." .