@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns1:	<http://purl.obolibrary.org/obo/> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
ns1:RO_0002581	rdf:type	owl:AnnotationProperty .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns1:RO_0002581	rdfs:subPropertyOf	ns1:RO_0002580 ;
	rdfs:label	"is a defining property chain axiom" ;
	ns1: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" .