{"@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_0002581","@type":"owl:AnnotationProperty","rdfs:label":"is a defining property chain axiom","rdfs:isDefinedBy":{"@id":"obo_purl:ro.owl"},"obo_purl:IAO_0000115":"If R <- P o Q is a defining property chain axiom, then it also holds that R -> P o Q. Note that this cannot be expressed directly in OWL"}