Skip to content

Commit

Permalink
Add properties has_numerator and has_denominator
Browse files Browse the repository at this point in the history 
Fix oborel#774
Fix oborel#775
  • Loading branch information
@rays22
rays22 committed Feb 26, 2024
1 parent 64cba19 commit 97fbc39
Showing 1 changed file with 29 additions and 13 deletions.
42 changes: 29 additions & 13 deletions src/ontology/ro-edit.owl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -603,6 +603,8 @@ Declaration(ObjectProperty(obo:RO_0019501))
Declaration(ObjectProperty(obo:RO_0020101))
Declaration(ObjectProperty(obo:RO_0020102))
Declaration(ObjectProperty(obo:RO_0020103))
Declaration(ObjectProperty(obo:RO_0020202))
Declaration(ObjectProperty(obo:RO_0020203))
Declaration(ObjectProperty(obo:RO_0040035))
Declaration(ObjectProperty(obo:RO_0040036))
Declaration(ObjectProperty(obo:RO_HOM0000000))
Expand Down Expand Up @@ -6826,6 +6828,20 @@ SubObjectPropertyOf(obo:RO_0020103 obo:RO_0002179)
ObjectPropertyDomain(obo:RO_0020103 obo:UBERON_0001982)
ObjectPropertyRange(obo:RO_0020103 obo:UBERON_0000061)

# Object Property: obo:RO_0020202 (has numerator)

AnnotationAssertion(Annotation(<http://purl.org/dc/elements/1.1/contributor> "https://orcid.org/0000-0002-8280-0487") obo:IAO_0000115 obo:RO_0020202 "A relationship between a ratio or proportion and its dividend.")
AnnotationAssertion(oboInOwl:created_by obo:RO_0020202 <https://orcid.org/0000-0001-8314-2140>)
AnnotationAssertion(oboInOwl:hasExactSynonym obo:RO_0020202 "has dividend")
AnnotationAssertion(rdfs:label obo:RO_0020202 "has numerator")

# Object Property: obo:RO_0020203 (has denominator)

AnnotationAssertion(Annotation(<http://purl.org/dc/elements/1.1/contributor> "https://orcid.org/0000-0002-8280-0487") obo:IAO_0000115 obo:RO_0020203 "A relationship between a ratio or proportion and its divisor.")
AnnotationAssertion(oboInOwl:created_by obo:RO_0020203 <https://orcid.org/0000-0001-8314-2140>)
AnnotationAssertion(oboInOwl:hasExactSynonym obo:RO_0020203 "has divisor")
AnnotationAssertion(rdfs:label obo:RO_0020203 "has denominator")

# Object Property: obo:RO_0040035 (disease relationship)

AnnotationAssertion(obo:IAO_0000115 obo:RO_0040035 "This relation groups relations between diseases and any other kind of entity.")
Expand Down Expand Up @@ -7160,19 +7176,19 @@ DLSafeRule(Annotation(rdfs:seeAlso <https://github.com/oborel/obo-relations/issu
DLSafeRule(Annotation(rdfs:comment "If a molecular function (X) has a regulatory subfunction, then any gene product which is an input to that subfunction has an activity that directly_regulates X. Note: this is intended for cases where the regaultory subfunction is protein binding, so it could be tightened with an additional clause to specify this.") Annotation(rdfs:label "inferring direct reg edge from input to regulatory subfunction") Body(ObjectPropertyAtom(obo:RO_0002352 Variable(<urn:swrl:var#B>) Variable(<urn:swrl:var#C>)) ObjectPropertyAtom(obo:RO_0002333 Variable(<urn:swrl:var#A>) Variable(<urn:swrl:var#B>)) ObjectPropertyAtom(obo:RO_0002013 Variable(<urn:swrl:var#D>) Variable(<urn:swrl:var#C>)))Head(ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl:var#A>) Variable(<urn:swrl:var#D>))))
DLSafeRule(Annotation(rdfs:label "inferring direct neg reg edge from input to regulatory subfunction") Body(ObjectPropertyAtom(obo:RO_0002352 Variable(<urn:swrl:var#B>) Variable(<urn:swrl:var#C>)) ObjectPropertyAtom(obo:RO_0002333 Variable(<urn:swrl:var#A>) Variable(<urn:swrl:var#B>)) ObjectPropertyAtom(obo:RO_0002014 Variable(<urn:swrl:var#D>) Variable(<urn:swrl:var#C>)))Head(ObjectPropertyAtom(obo:RO_0002630 Variable(<urn:swrl:var#A>) Variable(<urn:swrl:var#D>))))
DLSafeRule(Annotation(rdfs:label "inferring direct positive reg edge from input to regulatory subfunction") Body(ObjectPropertyAtom(obo:RO_0002352 Variable(<urn:swrl:var#B>) Variable(<urn:swrl:var#C>)) ObjectPropertyAtom(obo:RO_0002333 Variable(<urn:swrl:var#A>) Variable(<urn:swrl:var#B>)) ObjectPropertyAtom(obo:RO_0002015 Variable(<urn:swrl:var#D>) Variable(<urn:swrl:var#C>)))Head(ObjectPropertyAtom(obo:RO_0002629 Variable(<urn:swrl:var#A>) Variable(<urn:swrl:var#D>))))
DLSafeRule(Annotation(rdfs:label "effector input is compound function input") Body(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#in>)) ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)))Head(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#in>))))
DLSafeRule(Annotation(rdfs:label "Input of effector is input of its parent MF") Body(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#in>)) ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)))Head(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#in>))))
DLSafeRule(Annotation(rdfs:comment "if effector directly regulates X, its parent MF directly regulates X") Body(ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)) ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#mf2>)))Head(ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#mf2>))))
DLSafeRule(Annotation(rdfs:comment "if effector directly positively regulates X, its parent MF directly positively regulates X") Body(ObjectPropertyAtom(obo:RO_0002629 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#mf2>)) ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)))Head(ObjectPropertyAtom(obo:RO_0002629 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#mf2>))))
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:var#mf>) Variable(<urn:swrl:var#eff>)) ObjectPropertyAtom(obo:RO_0002630 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#mf2>)))Head(ObjectPropertyAtom(obo:RO_0002630 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#mf2>))))
DLSafeRule(Annotation(rdfs:label "'causally downstream of' and 'overlaps' should be disjoint properties (a SWRL rule is required because these are non-simple properties).") Body(ObjectPropertyAtom(obo:RO_0002404 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)) ObjectPropertyAtom(obo:RO_0002131 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ClassAtom(owl:Nothing Variable(<urn:swrl:var#x>)) ClassAtom(owl:Nothing Variable(<urn:swrl:var#y>))))
DLSafeRule(Annotation(rdfs:label "'causally upstream of' and 'overlaps' should be disjoint properties (a SWRL rule is required because these are non-simple properties).") Body(ObjectPropertyAtom(obo:RO_0002411 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)) ObjectPropertyAtom(obo:RO_0002131 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ClassAtom(owl:Nothing Variable(<urn:swrl:var#x>)) ClassAtom(owl:Nothing Variable(<urn:swrl:var#y>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0012011 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#q>)) ObjectPropertyAtom(obo:RO_0002211 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#q>)))Head(ObjectPropertyAtom(obo:RO_0012012 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#q>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002213 Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)) ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0019002 Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)) ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ObjectPropertyAtom(obo:RO_0019001 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002213 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)) ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)))Head(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002264 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)) ObjectPropertyAtom(obo:RO_0002411 Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)))Head(ObjectPropertyAtom(obo:RO_0002263 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002411 Variable(<urn:swrl:var#q>) Variable(<urn:swrl:var#u>)) ObjectPropertyAtom(obo:RO_0002411 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#q>)))Head(ObjectPropertyAtom(obo:RO_0012011 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#u>))))
DLSafeRule(Annotation(rdfs:label "effector input is compound function input") Body(ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)) ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#in>)))Head(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#in>))))
DLSafeRule(Annotation(rdfs:label "Input of effector is input of its parent MF") Body(ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)) ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#in>)))Head(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#in>))))
DLSafeRule(Annotation(rdfs:comment "if effector directly regulates X, its parent MF directly regulates X") Body(ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#mf2>)) ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)))Head(ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#mf2>))))
DLSafeRule(Annotation(rdfs:comment "if effector directly positively regulates X, its parent MF directly positively regulates X") Body(ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)) ObjectPropertyAtom(obo:RO_0002629 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#mf2>)))Head(ObjectPropertyAtom(obo:RO_0002629 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#mf2>))))
DLSafeRule(Annotation(rdfs:label "if effector directly negatively regulates X, its parent MF directly negatively regulates X") Body(ObjectPropertyAtom(obo:RO_0002630 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#mf2>)) ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl:var#mf>) Variable(<urn:swrl:var#eff>)))Head(ObjectPropertyAtom(obo:RO_0002630 Variable(<urn:swrl:var#eff>) Variable(<urn:swrl:var#mf2>))))
DLSafeRule(Annotation(rdfs:label "'causally downstream of' and 'overlaps' should be disjoint properties (a SWRL rule is required because these are non-simple properties).") Body(ObjectPropertyAtom(obo:RO_0002131 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)) ObjectPropertyAtom(obo:RO_0002404 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ClassAtom(owl:Nothing Variable(<urn:swrl:var#y>)) ClassAtom(owl:Nothing Variable(<urn:swrl:var#x>))))
DLSafeRule(Annotation(rdfs:label "'causally upstream of' and 'overlaps' should be disjoint properties (a SWRL rule is required because these are non-simple properties).") Body(ObjectPropertyAtom(obo:RO_0002131 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)) ObjectPropertyAtom(obo:RO_0002411 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ClassAtom(owl:Nothing Variable(<urn:swrl:var#y>)) ClassAtom(owl:Nothing Variable(<urn:swrl:var#x>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002211 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#q>)) ObjectPropertyAtom(obo:RO_0012011 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#q>)))Head(ObjectPropertyAtom(obo:RO_0012012 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#q>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)) ObjectPropertyAtom(obo:RO_0002213 Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)))Head(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)) ObjectPropertyAtom(obo:RO_0019002 Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)))Head(ObjectPropertyAtom(obo:RO_0019001 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)) ObjectPropertyAtom(obo:RO_0002213 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ObjectPropertyAtom(obo:RO_0002212 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002411 Variable(<urn:swrl:var#y>) Variable(<urn:swrl:var#z>)) ObjectPropertyAtom(obo:RO_0002264 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#y>)))Head(ObjectPropertyAtom(obo:RO_0002263 Variable(<urn:swrl:var#x>) Variable(<urn:swrl:var#z>))))
DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002411 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#q>)) ObjectPropertyAtom(obo:RO_0002411 Variable(<urn:swrl:var#q>) Variable(<urn:swrl:var#u>)))Head(ObjectPropertyAtom(obo:RO_0012011 Variable(<urn:swrl:var#p>) Variable(<urn:swrl:var#u>))))
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)
Expand Down

0 comments on commit 97fbc39

Please sign in to comment.