-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathphyloref.ofn
266 lines (192 loc) · 15.2 KB
/
phyloref.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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
Prefix(:=<http://ontology.phyloref.org/phyloref.owl#>)
Prefix(dc:=<http://purl.org/dc/elements/1.1/>)
Prefix(obo:=<http://purl.obolibrary.org/obo/>)
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#>)
Prefix(dcterms:=<http://purl.org/dc/terms/>)
Prefix(owl2xml:=<http://www.w3.org/2006/12/owl2-xml#>)
Ontology(<http://ontology.phyloref.org/phyloref.owl>
<http://ontology.phyloref.org/2021-03-15/phyloref.owl>
Import(<http://purl.obolibrary.org/obo/cdao.owl>)
Import(<http://purl.obolibrary.org/obo/omo.owl>)
Annotation(dc:creator "Hilmar Lapp")
Annotation(dc:description "The Phyloreferencing Ontology is an application ontology for defining, computing with, and resolving phylogenetic clade definitions in the form of logic expressions."@en)
Annotation(dc:rights <http://creativecommons.org/publicdomain/zero/1.0/>)
Annotation(dc:title "Phyloreferencing Ontology"@en)
Annotation(dcterms:rights <http://creativecommons.org/publicdomain/zero/1.0/>)
Annotation(rdfs:seeAlso <https://github.com/phyloref/phyloref-ontology>)
Annotation(rdfs:seeAlso <https://phyloref.org/>)
Declaration(Class(:ExpectedNode))
Declaration(Class(:PhylogeneticEvidence))
Declaration(Class(:PhylogenyEvidence))
Declaration(Class(:Phyloreference))
Declaration(Class(:PhyloreferenceUsingApomorphy))
Declaration(Class(:PhyloreferenceUsingMaximumClade))
Declaration(Class(:PhyloreferenceUsingMinimumClade))
Declaration(Class(:PhyloreferenceWithReferenceTree))
Declaration(Class(:ReferencePhylogenyEvidence))
Declaration(Class(obo:ECO_0000000))
Declaration(Class(obo:OBI_0302910))
Declaration(Class(<http://semanticscience.org/resource/SIO_010056>))
Declaration(Class(owl:Thing))
Declaration(ObjectProperty(:apomorphy))
Declaration(ObjectProperty(:excludes_TU))
Declaration(ObjectProperty(:excludes_lineage_to))
Declaration(ObjectProperty(:has_Sibling))
Declaration(ObjectProperty(:has_outside_TU))
Declaration(ObjectProperty(:includes_TU))
Declaration(ObjectProperty(:matches_TU))
Declaration(ObjectProperty(obo:BFO_0000050))
Declaration(ObjectProperty(obo:BFO_0000051))
Declaration(ObjectProperty(obo:CDAO_0000149))
Declaration(ObjectProperty(obo:CDAO_0000174))
Declaration(ObjectProperty(obo:OBI_0000293))
Declaration(ObjectProperty(obo:OBI_0000295))
Declaration(ObjectProperty(obo:OBI_0000299))
Declaration(ObjectProperty(obo:OBI_0000312))
Declaration(ObjectProperty(obo:RO_0000057))
Declaration(ObjectProperty(obo:RO_0002472))
Declaration(ObjectProperty(obo:RO_0002558))
Declaration(ObjectProperty(obo:RO_0002614))
Declaration(ObjectProperty(obo:RO_0002616))
Declaration(AnnotationProperty(:newick_expression))
Declaration(AnnotationProperty(dcterms:rights))
############################
# Annotation Properties
############################
# Annotation Property: :newick_expression (:newick_expression)
AnnotationAssertion(obo:IAO_0000115 :newick_expression "The expression of a phylogenetic tree or network topology (and possibly the limited set of metadata supported by the format) in the Newick format.")
AnnotationAssertion(rdfs:seeAlso :newick_expression <https://en.wikipedia.org/wiki/Newick_format>)
############################
# Object Properties
############################
# Object Property: :apomorphy (uses apomorphy)
AnnotationAssertion(obo:IAO_0000115 :apomorphy "Relates a phyloreference to an apormorphy it uses for defining a clade.")
AnnotationAssertion(dc:description :apomorphy "An apomorphy here is generally understood as an instance of SIO:phenotype (http://semanticscience.org/resource/SIO_010056), though this is not currently asserted."@en)
AnnotationAssertion(rdfs:comment :apomorphy "This property is related to, but not strictly a subproperty of RO:has_phenotype (http://purl.obolibrary.org/obo/RO_0002200) because the RO property is defined as holding _between a biological entity and a phenotype_. A phyloreference is an information content entity."@en)
AnnotationAssertion(rdfs:label :apomorphy "uses apomorphy"@en)
AnnotationAssertion(rdfs:seeAlso :apomorphy obo:RO_0002200)
# Object Property: :excludes_TU (:excludes_TU)
SubObjectPropertyOf(:excludes_TU :has_outside_TU)
ObjectPropertyRange(:excludes_TU obo:CDAO_0000138)
# Object Property: :has_Sibling (:has_Sibling)
SubObjectPropertyOf(:has_Sibling :excludes_lineage_to)
SymmetricObjectProperty(:has_Sibling)
# Object Property: :has_outside_TU (:has_outside_TU)
ObjectPropertyRange(:has_outside_TU obo:CDAO_0000138)
# Object Property: :includes_TU (:includes_TU)
ObjectPropertyRange(:includes_TU obo:CDAO_0000138)
# Object Property: :matches_TU (:matches_TU)
ObjectPropertyRange(:matches_TU obo:CDAO_0000138)
# Object Property: obo:BFO_0000050 (part of)
AnnotationAssertion(rdfs:label obo:BFO_0000050 "part of")
InverseObjectProperties(obo:BFO_0000050 obo:BFO_0000051)
# Object Property: obo:BFO_0000051 (has part)
AnnotationAssertion(rdfs:label obo:BFO_0000051 "has part")
TransitiveObjectProperty(obo:BFO_0000051)
# Object Property: obo:CDAO_0000187 (represents_TU)
SubObjectPropertyOf(obo:CDAO_0000187 :includes_TU)
SubObjectPropertyOf(obo:CDAO_0000187 :matches_TU)
# Object Property: obo:CDAO_0000203 (belongs_to_Tree_as_Root)
SubObjectPropertyOf(obo:CDAO_0000203 obo:CDAO_0000200)
# Object Property: obo:OBI_0000293 (has_specified_input)
AnnotationAssertion(obo:IAO_0000115 obo:OBI_0000293 "A relation between a planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of.")
AnnotationAssertion(rdfs:label obo:OBI_0000293 "has_specified_input")
SubObjectPropertyOf(obo:OBI_0000293 obo:RO_0000057)
InverseObjectProperties(obo:OBI_0000293 obo:OBI_0000295)
# Object Property: obo:OBI_0000295 (is_specified_input_of)
AnnotationAssertion(obo:IAO_0000115 obo:OBI_0000295 "A relation between a planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of.")
AnnotationAssertion(rdfs:label obo:OBI_0000295 "is_specified_input_of")
SubObjectPropertyOf(obo:OBI_0000295 obo:RO_0000057)
# Object Property: obo:OBI_0000299 (has_specified_output)
AnnotationAssertion(obo:IAO_0000115 obo:OBI_0000299 "A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of.")
AnnotationAssertion(rdfs:label obo:OBI_0000299 "has_specified_output")
SubObjectPropertyOf(obo:OBI_0000299 obo:RO_0000057)
InverseObjectProperties(obo:OBI_0000299 obo:OBI_0000312)
# Object Property: obo:OBI_0000312 (is_specified_output_of)
AnnotationAssertion(obo:IAO_0000115 obo:OBI_0000312 "A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of.")
AnnotationAssertion(rdfs:label obo:OBI_0000312 "is_specified_output_of")
SubObjectPropertyOf(obo:OBI_0000312 obo:RO_0000057)
# Object Property: obo:RO_0000057 (has participant)
AnnotationAssertion(obo:IAO_0000115 obo:RO_0000057 "A relation between a process and a continuant, in which the continuant is somehow involved in the process.")
AnnotationAssertion(rdfs:label obo:RO_0000057 "has participant")
# Object Property: obo:RO_0002472 (is evidence for)
AnnotationAssertion(obo:IAO_0000115 obo:RO_0002472 "A relationship between a piece of evidence a and some entity b, where b is an information content entity, material entity or process, and
the a supports either the existence of b, or the truth value of b.")
AnnotationAssertion(rdfs:label obo:RO_0002472 "is evidence for")
SubObjectPropertyOf(obo:RO_0002472 obo:RO_0002616)
InverseObjectProperties(obo:RO_0002472 obo:RO_0002558)
# Object Property: obo:RO_0002558 (has evidence)
AnnotationAssertion(obo:IAO_0000115 obo:RO_0002558 "inverse of is evidence for")
AnnotationAssertion(obo:IAO_0000119 obo:RO_0002558 <http://www.ncbi.nlm.nih.gov/pubmed/25052702>)
AnnotationAssertion(rdfs:comment obo:RO_0002558 "x has evidence y iff , x is an information content entity, material entity or process, and y supports either the existence of x, or the truth value of x.")
AnnotationAssertion(rdfs:label obo:RO_0002558 "has evidence")
SubObjectPropertyOf(obo:RO_0002558 obo:RO_0002616)
# Object Property: obo:RO_0002614 (is evidence with support from)
AnnotationAssertion(obo:IAO_0000112 obo:RO_0002614 "An instance of a sequence similarity evidence (ECO:0000044) that uses a homologous sequence UniProtKB:P12345 as support.")
AnnotationAssertion(obo:IAO_0000115 obo:RO_0002614 "A relationship between a piece of evidence and an entity that plays a role in supporting that evidence.")
AnnotationAssertion(rdfs:comment obo:RO_0002614 "In the Gene Ontology association model, this corresponds to the With/From field")
AnnotationAssertion(rdfs:label obo:RO_0002614 "is evidence with support from")
SubObjectPropertyOf(obo:RO_0002614 obo:RO_0002616)
# Object Property: obo:RO_0002616 (related via evidence or inference to)
AnnotationAssertion(rdfs:label obo:RO_0002616 "related via evidence or inference to")
############################
# Classes
############################
# Class: :ExpectedNode (:ExpectedNode)
AnnotationAssertion(obo:IAO_0000115 :ExpectedNode "The Node to which a Phyloreference is expected to resolve, i.e., which is expected to be an instance of it.")
EquivalentClasses(:ExpectedNode ObjectIntersectionOf(obo:CDAO_0000140 ObjectSomeValuesFrom(obo:OBI_0000312 ObjectIntersectionOf(obo:OBI_0302910 ObjectSomeValuesFrom(obo:RO_0000057 :Phyloreference)))))
# Class: :PhylogeneticEvidence (phylogenetic evidence)
AnnotationAssertion(obo:IAO_0000115 :PhylogeneticEvidence "An evidence type that is based on a phylogenetic reconstruction.")
AnnotationAssertion(rdfs:label :PhylogeneticEvidence "phylogenetic evidence")
SubClassOf(:PhylogeneticEvidence obo:ECO_0000000)
# Class: :PhylogenyEvidence (phylogeny evidence)
AnnotationAssertion(obo:IAO_0000115 :PhylogenyEvidence "A phylogenetic evidence that consists of a phylogeny, such as a phylogenetic tree or network.")
AnnotationAssertion(rdfs:label :PhylogenyEvidence "phylogeny evidence")
SubClassOf(:PhylogenyEvidence :PhylogeneticEvidence)
# Class: :Phyloreference (:Phyloreference)
SubClassOf(:Phyloreference ObjectIntersectionOf(obo:CDAO_0000140 ObjectSomeValuesFrom(obo:CDAO_0000190 obo:CDAO_0000048)))
# Class: :PhyloreferenceUsingApomorphy (Phyloreference using apomorphy)
AnnotationAssertion(obo:IAO_0000115 :PhyloreferenceUsingApomorphy "Phyloreference that uses an apomorphy-based clade definition. An apomorphy-based clade definition designates the clade arising from the first node exhibiting a trait synapomorphic with a specified descendent (a.k.a. internal specifier).")
AnnotationAssertion(rdfs:label :PhyloreferenceUsingApomorphy "Phyloreference using apomorphy")
SubClassOf(:PhyloreferenceUsingApomorphy ObjectIntersectionOf(:Phyloreference ObjectSomeValuesFrom(:apomorphy <http://semanticscience.org/resource/SIO_010056>)))
# Class: :PhyloreferenceUsingMaximumClade (Phyloreference using maximum clade)
AnnotationAssertion(obo:IAO_0000115 :PhyloreferenceUsingMaximumClade "Phyloreference that uses a maximum clade definition, such as a branch-based clade definition with excluded specifiers.")
AnnotationAssertion(rdfs:label :PhyloreferenceUsingMaximumClade "Phyloreference using maximum clade")
EquivalentClasses(:PhyloreferenceUsingMaximumClade ObjectIntersectionOf(:Phyloreference ObjectSomeValuesFrom(:excludes_TU obo:CDAO_0000138) ObjectSomeValuesFrom(:includes_TU obo:CDAO_0000138)))
# Class: :PhyloreferenceUsingMinimumClade (Phyloreference using minimum clade)
AnnotationAssertion(obo:IAO_0000115 :PhyloreferenceUsingMinimumClade "Phyloreferences that uses a minimum clade definition, such as a last common ancestor definition or node-based definition.")
AnnotationAssertion(rdfs:label :PhyloreferenceUsingMinimumClade "Phyloreference using minimum clade")
EquivalentClasses(:PhyloreferenceUsingMinimumClade ObjectIntersectionOf(:Phyloreference ObjectSomeValuesFrom(obo:CDAO_0000149 ObjectIntersectionOf(ObjectSomeValuesFrom(:excludes_TU obo:CDAO_0000138) ObjectSomeValuesFrom(:includes_TU obo:CDAO_0000138)))))
# Class: :PhyloreferenceWithReferenceTree (:PhyloreferenceWithReferenceTree)
AnnotationAssertion(obo:IAO_0000115 :PhyloreferenceWithReferenceTree "A phyloreference that has a reference tree provided as evidence.")
EquivalentClasses(:PhyloreferenceWithReferenceTree ObjectIntersectionOf(:Phyloreference ObjectSomeValuesFrom(obo:RO_0002558 :ReferencePhylogenyEvidence)))
# Class: :ReferencePhylogenyEvidence (reference phylogeny evidence)
AnnotationAssertion(obo:IAO_0000115 :ReferencePhylogenyEvidence "A phylogeny evidence that is based on a reference phylogeny. If multiple phylogenies act as evidence for the same entity, then a reference phylogeny evidence will outweigh non-reference phylogenies in case of conflict.")
AnnotationAssertion(rdfs:label :ReferencePhylogenyEvidence "reference phylogeny evidence")
SubClassOf(:ReferencePhylogenyEvidence :PhylogenyEvidence)
SubClassOf(:ReferencePhylogenyEvidence obo:CDAO_0000110)
# Class: obo:ECO_0000000 (evidence)
AnnotationAssertion(obo:IAO_0000115 obo:ECO_0000000 "A type of information that is used to support an assertion.")
AnnotationAssertion(rdfs:label obo:ECO_0000000 "evidence")
# Class: obo:OBI_0302910 (prediction)
AnnotationAssertion(obo:IAO_0000115 obo:OBI_0302910 "A process by which an event or an entity is described before it actually happens or is being discovered and identified.")
AnnotationAssertion(rdfs:label obo:OBI_0302910 "prediction")
# Class: <http://semanticscience.org/resource/SIO_010056> (phenotype)
AnnotationAssertion(dc:description <http://semanticscience.org/resource/SIO_010056> "A phenotype is an observable characteristic of an individual.")
AnnotationAssertion(rdfs:isDefinedBy <http://semanticscience.org/resource/SIO_010056> <http://semanticscience.org/ontology/sio.owl>)
AnnotationAssertion(rdfs:label <http://semanticscience.org/resource/SIO_010056> "phenotype")
SubObjectPropertyOf(ObjectPropertyChain(:excludes_lineage_to obo:CDAO_0000187) :excludes_TU)
SubObjectPropertyOf(ObjectPropertyChain(:excludes_lineage_to obo:CDAO_0000187 :matches_TU) :excludes_TU)
SubObjectPropertyOf(ObjectPropertyChain(:has_Sibling obo:CDAO_0000174) :excludes_lineage_to)
SubObjectPropertyOf(ObjectPropertyChain(:has_Sibling obo:CDAO_0000179) obo:CDAO_0000179)
SubObjectPropertyOf(ObjectPropertyChain(obo:CDAO_0000144 :excludes_TU) :has_outside_TU)
SubObjectPropertyOf(ObjectPropertyChain(obo:CDAO_0000149 :has_Sibling) obo:CDAO_0000149)
SubObjectPropertyOf(ObjectPropertyChain(obo:CDAO_0000174 obo:CDAO_0000187) :includes_TU)
SubObjectPropertyOf(ObjectPropertyChain(obo:CDAO_0000174 obo:CDAO_0000187 :matches_TU) :includes_TU)
SubObjectPropertyOf(ObjectPropertyChain(obo:CDAO_0000179 obo:CDAO_0000200) obo:CDAO_0000200)
SubObjectPropertyOf(ObjectPropertyChain(obo:CDAO_0000187 :matches_TU) :includes_TU)
)