-
Notifications
You must be signed in to change notification settings - Fork 3
/
ubergraph-axioms.ofn
84 lines (55 loc) · 4.14 KB
/
ubergraph-axioms.ofn
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
Prefix(:=<http://translator.renci.org/ubergraph-axioms.ofn#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
Ontology(<http://translator.renci.org/ubergraph-axioms.ofn>
Declaration(Class(<http://purl.obolibrary.org/obo/HP_0000118>))
Declaration(Class(<http://purl.obolibrary.org/obo/PATO_0000470>))
Declaration(Class(<http://purl.obolibrary.org/obo/PATO_0001997>))
Declaration(Class(<http://purl.obolibrary.org/obo/UPHENO_0001001>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/BFO_0000050>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/BFO_0000051>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0000052>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0002502>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/UPHENO_0000001>))
Declaration(ObjectProperty(:decreasedAmountRole))
Declaration(ObjectProperty(:increasedAmountRole))
Declaration(ObjectProperty(:is_decrease_of))
Declaration(ObjectProperty(:is_increase_of))
############################
# Object Properties
############################
# Object Property: <http://purl.obolibrary.org/obo/BFO_0000050> (part of)
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/BFO_0000050> "part of"^^xsd:string)
# Object Property: <http://purl.obolibrary.org/obo/BFO_0000051> (has part)
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/BFO_0000051> "has part"^^xsd:string)
# Object Property: <http://purl.obolibrary.org/obo/RO_0000052> (inheres in)
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/RO_0000052> "inheres in"^^xsd:string)
SubObjectPropertyOf(<http://purl.obolibrary.org/obo/RO_0000052> <http://purl.obolibrary.org/obo/RO_0002502>)
# Object Property: <http://purl.obolibrary.org/obo/RO_0002502> (depends on)
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/RO_0002502> "depends on"^^xsd:string)
SubObjectPropertyOf(<http://purl.obolibrary.org/obo/RO_0002502> <http://purl.obolibrary.org/obo/UPHENO_0000001>)
# Object Property: <http://purl.obolibrary.org/obo/UPHENO_0000001> (has phenotype affecting)
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/UPHENO_0000001> "has phenotype affecting"^^xsd:string)
# Object Property: :is_decrease_of (is decrease of)
AnnotationAssertion(rdfs:label :is_decrease_of "is decrease of"^^xsd:string)
# Object Property: :is_increase_of (is increase of)
AnnotationAssertion(rdfs:label :is_increase_of "is increase of"^^xsd:string)
############################
# Classes
############################
# Class: <http://purl.obolibrary.org/obo/HP_0000118> (<http://purl.obolibrary.org/obo/HP_0000118>)
SubClassOf(<http://purl.obolibrary.org/obo/HP_0000118> <http://purl.obolibrary.org/obo/UPHENO_0001001>)
# Class: <http://purl.obolibrary.org/obo/PATO_0000470> (<http://purl.obolibrary.org/obo/PATO_0000470>)
EquivalentClasses(<http://purl.obolibrary.org/obo/PATO_0000470> ObjectHasSelf(:increasedAmountRole))
# Class: <http://purl.obolibrary.org/obo/PATO_0001997> (<http://purl.obolibrary.org/obo/PATO_0001997>)
EquivalentClasses(<http://purl.obolibrary.org/obo/PATO_0001997> ObjectHasSelf(:decreasedAmountRole))
SubObjectPropertyOf(ObjectPropertyChain(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/RO_0002502>) <http://purl.obolibrary.org/obo/UPHENO_0000001>)
SubObjectPropertyOf(ObjectPropertyChain(<http://purl.obolibrary.org/obo/BFO_0000051> :is_decrease_of) :is_decrease_of)
SubObjectPropertyOf(ObjectPropertyChain(<http://purl.obolibrary.org/obo/BFO_0000051> :is_increase_of) :is_increase_of)
SubObjectPropertyOf(ObjectPropertyChain(<http://purl.obolibrary.org/obo/UPHENO_0000001> <http://purl.obolibrary.org/obo/BFO_0000050>) <http://purl.obolibrary.org/obo/UPHENO_0000001>)
SubObjectPropertyOf(ObjectPropertyChain(:decreasedAmountRole <http://purl.obolibrary.org/obo/RO_0000052>) :is_decrease_of)
SubObjectPropertyOf(ObjectPropertyChain(:increasedAmountRole <http://purl.obolibrary.org/obo/RO_0000052>) :is_increase_of)
)