litvinovg/vivo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

adding missing inverse axioms

Browse source
This commit is contained in:
brianjlowe 2013-10-16 10:11:27 -04:00
parent 7fe93b0674
commit 3f9a295647
1 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

11
rdf/tbox/filegraph/object-properties.owl
View file

@ -178,7 +178,7 @@
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000051">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
</owl:ObjectProperty>
@ -1022,7 +1022,7 @@ there is a measurement process p that has specified output m, a measurement datu
<!-- http://purl.obolibrary.org/obo/RO_0000057 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000057">
<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000056"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
</owl:ObjectProperty>
@ -1040,7 +1040,7 @@ there is a measurement process p that has specified output m, a measurement datu
<!-- http://purl.obolibrary.org/obo/RO_0001015 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001015">
<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0001025"/>
</owl:ObjectProperty>
@ -1048,7 +1048,7 @@ there is a measurement process p that has specified output m, a measurement datu
<!-- http://purl.obolibrary.org/obo/RO_0001018 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001018">
<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0001019"/>
</owl:ObjectProperty>
@ -1089,7 +1089,7 @@ there is a measurement process p that has specified output m, a measurement datu
<!-- http://purl.obolibrary.org/obo/RO_0002234 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002234">
<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002353"/>
<rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0000057"/>
</owl:ObjectProperty>
@ -2085,6 +2085,7 @@ there is a measurement process p that has specified output m, a measurement datu
</owl:ObjectProperty>
<!-- Generated by the OWL API (version 3.3.1957) http://owlapi.sourceforge.net -->
</rdf:RDF>