domain-range constrs

Author: cmungall

src/ontology/ro-edit.owl

@@ -499,6 +499,7 @@ Declaration(ObjectProperty(obo:RO_0009501))
 Declaration(ObjectProperty(obo:RO_0010001))
 Declaration(ObjectProperty(obo:RO_0010002))
 Declaration(ObjectProperty(obo:RO_0040035))
+Declaration(ObjectProperty(obo:RO_0040036))
 Declaration(ObjectProperty(owl:topObjectProperty))
 Declaration(DataProperty(obo:RO_0002029))
 Declaration(AnnotationProperty(obo:IAO_0000232))
@@ -1041,6 +1042,8 @@ AnnotationAssertion(obo:RO_0001900 obo:RO_0000300 obo:RO_0001901)
 AnnotationAssertion(cito:citesAsAuthority obo:RO_0000300 <http://www.ncbi.nlm.nih.gov/pubmed/22402613>)
 AnnotationAssertion(rdfs:label obo:RO_0000300 "in neural circuit with"@en)
 TransitiveObjectProperty(obo:RO_0000300)
+ObjectPropertyDomain(obo:RO_0000300 obo:CL_0000540)
+ObjectPropertyRange(obo:RO_0000300 obo:CL_0000540)
 
 # Object Property: obo:RO_0000301 (upstream in neural circuit with)
 
@@ -1206,6 +1209,8 @@ AnnotationAssertion(obo:IAO_0000117 obo:RO_0002005 "David Osumi-Sutherland")
 AnnotationAssertion(cito:citesAsAuthority obo:RO_0002005 "http://www.ncbi.nlm.nih.gov/pubmed/22402613"^^xsd:anyURI)
 AnnotationAssertion(rdfs:label obo:RO_0002005 "innervated_by"@en)
 InverseObjectProperties(obo:RO_0002005 obo:RO_0002134)
+ObjectPropertyDomain(obo:RO_0002005 obo:CARO_0000003)
+ObjectPropertyRange(obo:RO_0002005 obo:CARO_0001001)
 
 # Object Property: obo:RO_0002006 (has synaptic terminal of)
 
@@ -1458,6 +1463,7 @@ AnnotationAssertion(obo:RO_0001900 obo:RO_0002100 obo:RO_0001901)
 AnnotationAssertion(rdfs:label obo:RO_0002100 "has soma location"@en)
 SubObjectPropertyOf(obo:RO_0002100 obo:RO_0002131)
 ObjectPropertyDomain(obo:RO_0002100 obo:CL_0000540)
+ObjectPropertyRange(obo:RO_0002100 obo:CARO_0000003)
 
 # Object Property: obo:RO_0002101 (fasciculates with)
 
@@ -1630,6 +1636,7 @@ AnnotationAssertion(obo:IAO_0000114 obo:RO_0002111 obo:IAO_0000125)
 AnnotationAssertion(obo:IAO_0000118 obo:RO_0002111 "has neurotransmitter")
 AnnotationAssertion(rdfs:label obo:RO_0002111 "releases neurotransmitter"@en)
 SubObjectPropertyOf(obo:RO_0002111 owl:topObjectProperty)
+ObjectPropertyDomain(obo:RO_0002111 obo:CARO_0000003)
 
 # Object Property: obo:RO_0002112 (synapsed_by_via_type_Is_bouton)
 
@@ -2601,8 +2608,8 @@ AnnotationAssertion(obo:IAO_0000117 obo:RO_0002296 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000119 obo:RO_0002296 "http://www.geneontology.org/GO.doc.development.shtml"^^xsd:anyURI)
 AnnotationAssertion(oboInOwl:shorthand obo:RO_0002296 "results_in_development_of"^^xsd:string)
 AnnotationAssertion(rdfs:label obo:RO_0002296 "results in development of"@en)
-SubObjectPropertyOf(obo:RO_0002296 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002296 obo:RO_0002295)
+SubObjectPropertyOf(obo:RO_0002296 obo:RO_0040036)
 
 # Object Property: obo:RO_0002297 (results in formation of)
 
@@ -2627,8 +2634,8 @@ AnnotationAssertion(obo:IAO_0000117 obo:RO_0002298 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000119 obo:RO_0002298 "GOC:mtg_berkeley_2013")
 AnnotationAssertion(oboInOwl:shorthand obo:RO_0002298 "results_in_morphogenesis_of"^^xsd:string)
 AnnotationAssertion(rdfs:label obo:RO_0002298 "results in morphogenesis of"@en)
-SubObjectPropertyOf(obo:RO_0002298 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002298 obo:RO_0002295)
+SubObjectPropertyOf(obo:RO_0002298 obo:RO_0040036)
 
 # Object Property: obo:RO_0002299 (results in maturation of)
 
@@ -2640,8 +2647,8 @@ AnnotationAssertion(obo:IAO_0000117 obo:RO_0002299 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000119 obo:RO_0002299 "GOC:mtg_berkeley_2013")
 AnnotationAssertion(oboInOwl:shorthand obo:RO_0002299 "results_in_maturation_of"^^xsd:string)
 AnnotationAssertion(rdfs:label obo:RO_0002299 "results in maturation of"@en)
-SubObjectPropertyOf(obo:RO_0002299 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002299 obo:RO_0002295)
+SubObjectPropertyOf(obo:RO_0002299 obo:RO_0040036)
 
 # Object Property: obo:RO_0002300 (results in disappearance of)
 
@@ -2728,8 +2735,8 @@ AnnotationAssertion(obo:IAO_0000115 obo:RO_0002313 "Holds between p and c when p
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002313 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000118 obo:RO_0002313 "regulates localization of")
 AnnotationAssertion(rdfs:label obo:RO_0002313 "transports or maintains localization of"@en)
-SubObjectPropertyOf(obo:RO_0002313 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002313 obo:RO_0002337)
+SubObjectPropertyOf(obo:RO_0002313 obo:RO_0040036)
 
 # Object Property: obo:RO_0002314 (inheres in part of)
 
@@ -2750,9 +2757,9 @@ AnnotationAssertion(obo:IAO_0000117 obo:RO_0002315 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000119 obo:RO_0002315 "GOC:mtg_berkeley_2013")
 AnnotationAssertion(oboInOwl:shorthand obo:RO_0002315 "results_in_acquisition_of_features_of"^^xsd:string)
 AnnotationAssertion(rdfs:label obo:RO_0002315 "results in acquisition of features of"@en)
-SubObjectPropertyOf(obo:RO_0002315 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002315 obo:RO_0002295)
-ObjectPropertyRange(obo:RO_0002315 obo:CL_0000000)
+SubObjectPropertyOf(obo:RO_0002315 obo:RO_0040036)
+ObjectPropertyRange(obo:RO_0002315 obo:CARO_0000003)
 
 # Object Property: obo:RO_0002320 (evolutionarily related to)
 
@@ -2975,8 +2982,8 @@ SubObjectPropertyOf(obo:RO_0002342 obo:RO_0002344)
 AnnotationAssertion(obo:IAO_0000112 obo:RO_0002343 "'pollen tube growth' results_in growth_of some 'pollen tube'")
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002343 "Chris Mungall")
 AnnotationAssertion(rdfs:label obo:RO_0002343 "results in growth of"@en)
-SubObjectPropertyOf(obo:RO_0002343 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002343 obo:RO_0002295)
+SubObjectPropertyOf(obo:RO_0002343 obo:RO_0040036)
 
 # Object Property: obo:RO_0002344 (results in transport to from or in)
 
@@ -3041,8 +3048,8 @@ SubObjectPropertyOf(obo:RO_0002354 obo:RO_0002353)
 AnnotationAssertion(obo:IAO_0000115 obo:RO_0002355 "A relationship between a process and an anatomical entity such that the process contributes to the act of creating the structural organization of the anatomical entity.")
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002355 "Chris Mungall")
 AnnotationAssertion(rdfs:label obo:RO_0002355 "results in structural organization of"@en)
-SubObjectPropertyOf(obo:RO_0002355 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002355 obo:RO_0002295)
+SubObjectPropertyOf(obo:RO_0002355 obo:RO_0040036)
 
 # Object Property: obo:RO_0002356 (results in specification of)
 
@@ -3301,7 +3308,6 @@ AnnotationAssertion(rdfs:comment obo:RO_0002403 "Likely to be obsoleted. See:
 https://docs.google.com/document/d/1QMhs9J-P_q3o_rDh-IX4ZEnz0PnXrzLRVkI3vvz8NEQ/edit")
 AnnotationAssertion(rdfs:label obo:RO_0002403 "obsolete has indirect output"^^xsd:string)
 AnnotationAssertion(owl:deprecated obo:RO_0002403 "true"^^xsd:boolean)
-SubObjectPropertyOf(obo:RO_0002403 obo:RO_0002234)
 
 # Object Property: obo:RO_0002404 (causally downstream of)
 
@@ -3836,12 +3842,12 @@ AnnotationAssertion(obo:IAO_0000232 obo:RO_0002463 "Experimental: relation used
 AnnotationAssertion(rdfs:label obo:RO_0002463 "target participant in")
 SubObjectPropertyOf(obo:RO_0002463 obo:RO_0002461)
 
-# Object Property: obo:RO_0002464 (helper property)
+# Object Property: obo:RO_0002464 (helper property (not for use in curation))
 
 AnnotationAssertion(obo:IAO_0000114 obo:RO_0002464 obo:IAO_0000428)
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002464 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000232 obo:RO_0002464 "This property or its subproperties is not to be used directly. These properties exist as helper properties that are used to support OWL reasoning.")
-AnnotationAssertion(rdfs:label obo:RO_0002464 "helper property")
+AnnotationAssertion(rdfs:label obo:RO_0002464 "helper property (not for use in curation)")
 
 # Object Property: obo:RO_0002465 (is symbiosis)
 
@@ -3987,6 +3993,7 @@ AnnotationAssertion(obo:IAO_0000117 obo:RO_0002487 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000232 obo:RO_0002487 "Do not use this relation directly. It is ended as a grouping for a diverse set of relations, typically connecting an anatomical entity to a biological process or developmental stage.")
 AnnotationAssertion(rdfs:label obo:RO_0002487 "relation between structure and stage")
 ObjectPropertyDomain(obo:RO_0002487 obo:BFO_0000002)
+ObjectPropertyDomain(obo:RO_0002487 ObjectUnionOf(obo:CARO_0000006 obo:CARO_0000007))
 ObjectPropertyRange(obo:RO_0002487 obo:BFO_0000003)
 
 # Object Property: obo:RO_0002488 (existence starts during)
@@ -4418,8 +4425,8 @@ InverseObjectProperties(obo:RO_0002551 obo:RO_0002576)
 AnnotationAssertion(obo:IAO_0000115 obo:RO_0002552 "p results in the end of s if p results in a change of state in s whereby s either ceases to exist, or s becomes functionally impaired or s has its fate committed such that it is put on a path to be degraded.")
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002552 "Chris Mungall")
 AnnotationAssertion(rdfs:label obo:RO_0002552 "results in ending of")
-SubObjectPropertyOf(obo:RO_0002552 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002552 obo:RO_0002295)
+SubObjectPropertyOf(obo:RO_0002552 obo:RO_0040036)
 
 # Object Property: obo:RO_0002553 (hyperparasite of)
 
@@ -4512,7 +4519,7 @@ AnnotationAssertion(obo:IAO_0000115 obo:RO_0002565 "Holds between p and c when p
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002565 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000232 obo:RO_0002565 "")
 AnnotationAssertion(rdfs:label obo:RO_0002565 "results in movement of")
-SubObjectPropertyOf(obo:RO_0002565 obo:RO_0000057)
+SubObjectPropertyOf(obo:RO_0002565 obo:RO_0040036)
 
 # Object Property: obo:RO_0002566 (causally influences)
 
@@ -4642,8 +4649,8 @@ SubObjectPropertyOf(obo:RO_0002584 obo:RO_0002595)
 
 AnnotationAssertion(obo:IAO_0000116 obo:RO_0002585 "p 'results in closure of' c if and only if p is a developmental process and p results in a state of c changing from open to closed.")
 AnnotationAssertion(rdfs:label obo:RO_0002585 "results in closure of")
-SubObjectPropertyOf(obo:RO_0002585 obo:RO_0000057)
 SubObjectPropertyOf(obo:RO_0002585 obo:RO_0002295)
+SubObjectPropertyOf(obo:RO_0002585 obo:RO_0040036)
 
 # Object Property: obo:RO_0002586 (results in breakdown of)
 
@@ -4684,7 +4691,7 @@ SubObjectPropertyOf(obo:RO_0002591 obo:RO_0002592)
 
 AnnotationAssertion(obo:IAO_0000115 obo:RO_0002592 "p results in organization of c iff p results in the assembly, arrangement of constituent parts, or disassembly of c")
 AnnotationAssertion(rdfs:label obo:RO_0002592 "results in organization of")
-SubObjectPropertyOf(obo:RO_0002592 obo:RO_0000057)
+SubObjectPropertyOf(obo:RO_0002592 obo:RO_0040036)
 
 # Object Property: obo:RO_0002593 (existence ends at point)
 
@@ -5454,6 +5461,8 @@ AnnotationAssertion(obo:IAO_0000116 obo:RO_0009001 "The relation X 'has substanc
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0009001 "Damion Dooley")
 AnnotationAssertion(rdfs:label obo:RO_0009001 "has substance added"@en)
 IrreflexiveObjectProperty(obo:RO_0009001)
+ObjectPropertyDomain(obo:RO_0009001 obo:BFO_0000040)
+ObjectPropertyRange(obo:RO_0009001 obo:BFO_0000040)
 
 # Object Property: obo:RO_0009002 (has substance removed)
 
@@ -5463,6 +5472,8 @@ AnnotationAssertion(obo:IAO_0000115 obo:RO_0009002 "\"has substance removed\" is
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0009002 "Damion Dooley"@en)
 AnnotationAssertion(rdfs:label obo:RO_0009002 "has substance removed"@en)
 IrreflexiveObjectProperty(obo:RO_0009002)
+ObjectPropertyDomain(obo:RO_0009002 obo:BFO_0000040)
+ObjectPropertyRange(obo:RO_0009002 obo:BFO_0000040)
 
 # Object Property: obo:RO_0009003 (immersed in)
 
@@ -5472,6 +5483,8 @@ AnnotationAssertion(obo:IAO_0000115 obo:RO_0009003 "\"immersed in\" is a relatio
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0009003 "Damion Dooley")
 AnnotationAssertion(rdfs:label obo:RO_0009003 "immersed in"@en)
 IrreflexiveObjectProperty(obo:RO_0009003)
+ObjectPropertyDomain(obo:RO_0009003 obo:BFO_0000040)
+ObjectPropertyRange(obo:RO_0009003 obo:BFO_0000040)
 
 # Object Property: obo:RO_0009005 (has primary substance added)
 
@@ -5534,6 +5547,15 @@ AnnotationAssertion(oboInOwl:created_by obo:RO_0040035 "cjm"^^xsd:string)
 AnnotationAssertion(oboInOwl:creation_date obo:RO_0040035 "2018-09-26T00:00:32Z"^^xsd:dateTime)
 AnnotationAssertion(rdfs:label obo:RO_0040035 "disease relationship")
 
+# Object Property: obo:RO_0040036 (has anatomical participant)
+
+AnnotationAssertion(obo:IAO_0000115 obo:RO_0040036 "p has anatomical participant c iff p has participant c, and c is an anatomical entity")
+AnnotationAssertion(oboInOwl:created_by obo:RO_0040036 "cjm"^^xsd:string)
+AnnotationAssertion(oboInOwl:creation_date obo:RO_0040036 "2018-09-26T01:08:58Z"^^xsd:dateTime)
+AnnotationAssertion(rdfs:label obo:RO_0040036 "has anatomical participant")
+SubObjectPropertyOf(obo:RO_0040036 obo:RO_0000057)
+ObjectPropertyRange(obo:RO_0040036 ObjectUnionOf(obo:CARO_0000006 obo:CARO_0000007))
+
 # Object Property: obo:RO_HOM0000001 (in homology relationship with)
 
 SubObjectPropertyOf(obo:RO_HOM0000001 obo:RO_0002158)
@@ -5565,11 +5587,20 @@ DataPropertyRange(obo:RO_0002029 DatatypeRestriction(xsd:short xsd:minInclusive
 # Class: obo:BFO_0000002 (continuant)
 
 SubClassOf(obo:BFO_0000002 ObjectAllValuesFrom(obo:RO_0002214 obo:BFO_0000002))
+SubClassOf(obo:BFO_0000002 ObjectAllValuesFrom(obo:RO_HOM0000000 obo:BFO_0000002))
+
+# Class: obo:BFO_0000003 (occurrent)
+
+SubClassOf(obo:BFO_0000003 ObjectAllValuesFrom(obo:RO_HOM0000000 obo:BFO_0000003))
 
 # Class: obo:BFO_0000015 (process)
 
 SubClassOf(obo:BFO_0000015 ObjectAllValuesFrom(obo:RO_0002214 obo:BFO_0000015))
 
+# Class: obo:CARO_0000006 (material anatomical entity)
+
+SubClassOf(obo:CARO_0000006 ObjectAllValuesFrom(obo:RO_0002179 obo:CARO_0000003))
+
 # Class: obo:GO_0004842 (ubiquitin-protein ligase activity)
 
 SubClassOf(obo:GO_0004842 ObjectHasSelf(obo:RO_0002482))
@@ -5791,6 +5822,7 @@ DLSafeRule(Annotation(rdfs:comment "if effector directly positively regulates X,
 DLSafeRule(Annotation(rdfs:label "if effector directly negatively regulates X,  its parent MF directly negatively regulates X") Body(ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl#mf>) Variable(<urn:swrl#eff>)) ObjectPropertyAtom(obo:RO_0002630 Variable(<urn:swrl#mf>) Variable(<urn:swrl#mf2>)))Head(ObjectPropertyAtom(obo:RO_0002630 Variable(<urn:swrl#eff>) Variable(<urn:swrl#mf2>))))
 DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002213 Variable(<urn:swrl#y>) Variable(<urn:swrl#z>)) ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl#x>) Variable(<urn:swrl#y>)))Head(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl#x>) Variable(<urn:swrl#z>))))
 DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002213 Variable(<urn:swrl#x>) Variable(<urn:swrl#y>)) ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl#y>) Variable(<urn:swrl#z>)))Head(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl#x>) Variable(<urn:swrl#z>))))
+AnnotationAssertion(owl:deprecated obo:BFO_0000060 "true"^^xsd:boolean)
 AnnotationAssertion(obo:IAO_0000115 obo:RO_0000092 "inverse of has disposition")
 AnnotationAssertion(oboInOwl:inSubset obo:RO_0000092 obo:RO_0002259)
 AnnotationAssertion(obo:IAO_0000232 obo:RO_0001000 "This relation is taken from the RO2005 version of RO. It may be obsoleted and replaced by relations with different definitions. See also the 'develops from' family of relations.")