{"@context":{"obo_purl":"http://purl.obolibrary.org/obo/","rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","owl":"http://www.w3.org/2002/07/owl#","rdfs":"http://www.w3.org/2000/01/rdf-schema#"},"@id":"obo_purl:RO_0002582","@type":"owl:AnnotationProperty","rdfs:label":"is a defining property chain axiom where second argument is reflexive","obo_purl: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."}