<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002581">
<rdfs:label>is a defining property chain axiom</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/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</obo_purl:IAO_0000115>
</owl:AnnotationProperty>
</rdf:RDF>
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002581">
<rdfs:label>is a defining property chain axiom</rdfs:label>
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/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</obo_purl:IAO_0000115>
</owl:AnnotationProperty>
</rdf:RDF>