Skip to content

Commit dc8b426

Browse files
author
Kai
committed
Merge remote-tracking branch 'upstream/master'
Imported causal relations from RO.
2 parents 1d9e254 + bbba184 commit dc8b426

File tree

2 files changed

+30
-0
lines changed

2 files changed

+30
-0
lines changed

src/envo/imports/ro_import.owl

+28
Original file line numberDiff line numberDiff line change
@@ -1732,6 +1732,20 @@ However, this is not possible in OWL. We instead make this relation a sub-relati
17321732

17331733

17341734

1735+
<!-- http://purl.obolibrary.org/obo/RO_0002404 -->
1736+
1737+
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002404">
1738+
<rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000062"/>
1739+
<rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002427"/>
1740+
<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002411"/>
1741+
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000428"/>
1742+
<obo:IAO_0000115>inverse of upstream of</obo:IAO_0000115>
1743+
<obo:IAO_0000117>Chris Mungall</obo:IAO_0000117>
1744+
<rdfs:label xml:lang="en">causally downstream of</rdfs:label>
1745+
</owl:ObjectProperty>
1746+
1747+
1748+
17351749
<!-- http://purl.obolibrary.org/obo/RO_0002410 -->
17361750

17371751
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002410">
@@ -1760,6 +1774,20 @@ Each of these 3 primitives can be composed to yield a cross-product of different
17601774

17611775

17621776

1777+
<!-- http://purl.obolibrary.org/obo/RO_0002411 -->
1778+
1779+
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002411">
1780+
<rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000063"/>
1781+
<rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002418"/>
1782+
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
1783+
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000428"/>
1784+
<obo:IAO_0000115>p is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain</obo:IAO_0000115>
1785+
<obo:IAO_0000117>Chris Mungall</obo:IAO_0000117>
1786+
<rdfs:label xml:lang="en">causally upstream of</rdfs:label>
1787+
</owl:ObjectProperty>
1788+
1789+
1790+
17631791
<!-- http://purl.obolibrary.org/obo/RO_0002418 -->
17641792

17651793
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002418">

src/envo/imports/ro_terms.txt

+2
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
http://purl.obolibrary.org/obo/RO_0002404 ## causally downstream of
2+
http://purl.obolibrary.org/obo/RO_0002411 ## causally upstream of
13
http://purl.obolibrary.org/obo/RO_0002577 ## system
24
http://purl.obolibrary.org/obo/BFO_0000016 ## disposition
35
http://purl.obolibrary.org/obo/BFO_0000017 ## realizable entity

0 commit comments

Comments
 (0)