-
Notifications
You must be signed in to change notification settings - Fork 2
/
aho.owl
482 lines (312 loc) · 30.5 KB
/
aho.owl
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
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
<?xml version="1.0"?>
<rdf:RDF xmlns="https://w3id.org/ahso#"
xml:base="https://w3id.org/ahso"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:skos="http://www.w3.org/2004/02/skos/core#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:core="http://purl.obolibrary.org/obo/core#"
xmlns:ncbitaxon="http://purl.obolibrary.org/obo/ncbitaxon#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:doap="http://usefulinc.com/ns/doap#"
xmlns:terms="http://purl.org/dc/terms/"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:obo="http://purl.obolibrary.org/obo/"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:dc="http://purl.org/dc/elements/1.1/">
<owl:Ontology rdf:about="https://w3id.org/aho">
<terms:description xml:lang="en">An ontology to support semantic interoperability among domains involved in animal health health surveillance (clinical data, laboratory data, animal movement data, etc). More details at http://datadrivensurveillance.org.</terms:description>
<owl:versionInfo>0.1.0</owl:versionInfo>
<terms:creator>Fernanda Dórea ([email protected])</terms:creator>
<terms:title>Animal Health Ontology (AHO)</terms:title>
<terms:contributor>Karl Hammar, Patrick Lambrix, Noel Kennedy, Victor Oliveira, Crawford Revie, Ann Lindberg, Eva Blomqvist</terms:contributor>
<rdfs:comment xml:lang="en">This is an ontology to support data (re) use in animal health. Focus is given on steh structure of teh animal population, and teh structure of health observations about these animals, such as clinical observations, laboratory tests, etc.</rdfs:comment>
</owl:Ontology>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Annotation properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.obolibrary.org/obo/BFO_0000179 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000179"/>
<!-- http://purl.obolibrary.org/obo/BFO_0000180 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000180"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000111 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000111"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000112 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000112">
<obo:IAO_0000111 xml:lang="en">example</obo:IAO_0000111>
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000122"/>
<obo:IAO_0000115 xml:lang="en">A phrase describing how a class name should be used. May also include other kinds of examples that facilitate immediate understanding of a class semantics, such as widely known prototypical subclasses or instances of the class. Although essential for high level terms, examples for low level terms (e.g., Affymetrix HU133 array) are not</obo:IAO_0000115>
<obo:IAO_0000115 xml:lang="en">A phrase describing how a term should be used and/or a citation to a work which uses it. May also include other kinds of examples that facilitate immediate understanding, such as widely know prototypes or instances of a class, or cases where a relation is said to hold.</obo:IAO_0000115>
<obo:IAO_0000117 xml:lang="en">PERSON:Daniel Schober</obo:IAO_0000117>
<obo:IAO_0000119 xml:lang="en">GROUP:OBI:<http://purl.obolibrary.org/obo/obi></obo:IAO_0000119>
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/iao.owl"/>
<rdfs:label xml:lang="en">example of usage</rdfs:label>
</owl:AnnotationProperty>
<!-- http://purl.obolibrary.org/obo/IAO_0000114 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000114"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000115 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000116 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000116"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000117 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000117"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000118 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000118"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000119 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000119"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000412 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000412"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000600 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000600"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000601 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000601"/>
<!-- http://purl.obolibrary.org/obo/IAO_0000602 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000602"/>
<!-- http://purl.obolibrary.org/obo/IAO_0010000 -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0010000"/>
<!-- http://purl.obolibrary.org/obo/ncbitaxon#has_rank -->
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/ncbitaxon#has_rank"/>
<!-- http://purl.org/dc/terms/contributor -->
<owl:AnnotationProperty rdf:about="http://purl.org/dc/terms/contributor"/>
<!-- http://purl.org/dc/terms/creator -->
<owl:AnnotationProperty rdf:about="http://purl.org/dc/terms/creator"/>
<!-- http://purl.org/dc/terms/description -->
<owl:AnnotationProperty rdf:about="http://purl.org/dc/terms/description"/>
<!-- http://purl.org/dc/terms/title -->
<owl:AnnotationProperty rdf:about="http://purl.org/dc/terms/title"/>
<!-- http://www.geneontology.org/formats/oboInOwl#hasAlternativeId -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasAlternativeId"/>
<!-- http://www.geneontology.org/formats/oboInOwl#hasDbXref -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasDbXref"/>
<!-- http://www.geneontology.org/formats/oboInOwl#hasExactSynonym -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasExactSynonym"/>
<!-- http://www.geneontology.org/formats/oboInOwl#hasOBONamespace -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasOBONamespace"/>
<!-- http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym"/>
<!-- http://www.geneontology.org/formats/oboInOwl#id -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#id"/>
<!-- http://www.geneontology.org/formats/oboInOwl#inSubset -->
<owl:AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#inSubset"/>
<!-- http://www.w3.org/2004/02/skos/core#altLabel -->
<owl:AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#altLabel"/>
<!-- http://www.w3.org/2004/02/skos/core#prefLabel -->
<owl:AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#prefLabel"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.obolibrary.org/obo/IAO_0000136 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000136"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://purl.obolibrary.org/obo/BFO_0000015 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000015">
<obo:BFO_0000179>process</obo:BFO_0000179>
<obo:BFO_0000180>Process</obo:BFO_0000180>
<obo:IAO_0000112 xml:lang="en">a process of cell-division, \ a beating of the heart</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a process of meiosis</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a process of sleeping</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the course of a disease</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the flight of a bird</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the life of an organism</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">your process of aging.</obo:IAO_0000112>
<obo:IAO_0000115 xml:lang="en">p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])</obo:IAO_0000115>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)</obo:IAO_0000116>
<obo:IAO_0000602>(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] </obo:IAO_0000602>
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
<rdfs:label xml:lang="en">process</rdfs:label>
</owl:Class>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000115"/>
<owl:annotatedTarget xml:lang="en">p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])</owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/083-003"/>
</owl:Axiom>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000602"/>
<owl:annotatedTarget>(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] </owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/083-003"/>
</owl:Axiom>
<!-- http://purl.obolibrary.org/obo/BFO_0000020 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000020">
<obo:BFO_0000179>sdc</obo:BFO_0000179>
<obo:BFO_0000180>SpecificallyDependentContinuant</obo:BFO_0000180>
<obo:IAO_0000112 xml:lang="en">Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">of one-sided specifically dependent continuants: the mass of this tomato</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates.</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the disposition of this fish to decay</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the function of this heart: to pump blood</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the mutual dependence of proton donors and acceptors in chemical reactions [79</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the pink color of a medium rare piece of grilled filet mignon at its center</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the role of being a doctor</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the shape of this hole.</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the smell of this portion of mozzarella</obo:IAO_0000112>
<obo:IAO_0000115 xml:lang="en">b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])</obo:IAO_0000115>
<obo:IAO_0000116 xml:lang="en">Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.</obo:IAO_0000116>
<obo:IAO_0000602>(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] </obo:IAO_0000602>
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
<rdfs:label xml:lang="en">specifically dependent continuant</rdfs:label>
</owl:Class>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000115"/>
<owl:annotatedTarget xml:lang="en">b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])</owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/050-003"/>
</owl:Axiom>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000116"/>
<owl:annotatedTarget xml:lang="en">Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.</owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/0000005"/>
<rdfs:comment>per discussion with Barry Smith</rdfs:comment>
</owl:Axiom>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000602"/>
<owl:annotatedTarget>(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] </owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/050-003"/>
</owl:Axiom>
<!-- http://purl.obolibrary.org/obo/BFO_0000040 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000040">
<obo:BFO_0000179>material</obo:BFO_0000179>
<obo:BFO_0000180>MaterialEntity</obo:BFO_0000180>
<obo:IAO_0000112 xml:lang="en">a flame</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a forest fire</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a human being</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a hurricane</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a photon</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a puff of smoke</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a sea wave</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">a tornado</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">an aggregate of human beings.</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">an energy wave</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">an epidemic</obo:IAO_0000112>
<obo:IAO_0000112 xml:lang="en">the undetached arm of a human being</obo:IAO_0000112>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity.</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here.</obo:IAO_0000116>
<obo:IAO_0000600 xml:lang="en">A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])</obo:IAO_0000600>
<obo:IAO_0000601 xml:lang="en">Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])</obo:IAO_0000601>
<obo:IAO_0000601 xml:lang="en">every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])</obo:IAO_0000601>
<obo:IAO_0000602>(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] </obo:IAO_0000602>
<obo:IAO_0000602>(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] </obo:IAO_0000602>
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
<rdfs:label xml:lang="en">material entity</rdfs:label>
</owl:Class>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000602"/>
<owl:annotatedTarget>(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] </owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/021-002"/>
</owl:Axiom>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000602"/>
<owl:annotatedTarget>(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] </owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/020-002"/>
</owl:Axiom>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000600"/>
<owl:annotatedTarget xml:lang="en">A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])</owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/019-002"/>
</owl:Axiom>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000601"/>
<owl:annotatedTarget xml:lang="en">Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])</owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/020-002"/>
</owl:Axiom>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000601"/>
<owl:annotatedTarget xml:lang="en">every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])</owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/021-002"/>
</owl:Axiom>
<owl:Axiom>
<owl:annotatedSource rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/>
<owl:annotatedProperty rdf:resource="http://purl.obolibrary.org/obo/IAO_0000602"/>
<owl:annotatedTarget>(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] </owl:annotatedTarget>
<obo:IAO_0010000 rdf:resource="http://purl.obolibrary.org/obo/bfo/axiom/019-002"/>
</owl:Axiom>
<!-- http://purl.obolibrary.org/obo/IAO_0000027 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/IAO_0000027">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/IAO_0000030"/>
<obo:IAO_0000111 xml:lang="en">data item</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">Data items include counts of things, analyte concentrations, and statistical summaries.</obo:IAO_0000112>
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo:IAO_0000115 xml:lang="en">a data item is an information content entity that is intended to be a truthful statement about something (modulo, e.g., measurement precision or other systematic errors) and is constructed/acquired by a method which reliably tends to produce (approximately) truthful statements.</obo:IAO_0000115>
<obo:IAO_0000116 xml:lang="en">2/2/2009 Alan and Bjoern discussing FACS run output data. This is a data item because it is about the cell population. Each element records an event and is typically further composed a set of measurment data items that record the fluorescent intensity stimulated by one of the lasers.</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">2009-03-16: data item deliberatly ambiguous: we merged data set and datum to be one entity, not knowing how to define singular versus plural. So data item is more general than datum.</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">2009-03-16: removed datum as alternative term as datum specifically refers to singular form, and is thus not an exact synonym.</obo:IAO_0000116>
<obo:IAO_0000116>2014-03-31: See discussion at http://odontomachus.wordpress.com/2014/03/30/aboutness-objects-propositions/</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">JAR: datum -- well, this will be very tricky to define, but maybe some
information-like stuff that might be put into a computer and that is
meant, by someone, to denote and/or to be interpreted by some
process... I would include lists, tables, sentences... I think I might
defer to Barry, or to Brian Cantwell Smith
JAR: A data item is an approximately justified approximately true approximate belief</obo:IAO_0000116>
<obo:IAO_0000117 xml:lang="en">PERSON: Alan Ruttenberg</obo:IAO_0000117>
<obo:IAO_0000117 xml:lang="en">PERSON: Chris Stoeckert</obo:IAO_0000117>
<obo:IAO_0000117 xml:lang="en">PERSON: Jonathan Rees</obo:IAO_0000117>
<obo:IAO_0000118 xml:lang="en">data</obo:IAO_0000118>
<obo:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/obi.owl"/>
<rdfs:label xml:lang="en">data item</rdfs:label>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/IAO_0000030 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/IAO_0000030">
<obo:IAO_0000111 xml:lang="en">information content entity</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">Examples of information content entites include journal articles, data, graphical layouts, and graphs.</obo:IAO_0000112>
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000122"/>
<obo:IAO_0000115 xml:lang="en">A generically dependent continuant that is about some thing.</obo:IAO_0000115>
<obo:IAO_0000116 xml:lang="en">2014-03-10: The use of "thing" is intended to be general enough to include universals and configurations (see https://groups.google.com/d/msg/information-ontology/GBxvYZCk1oc/-L6B5fSBBTQJ).</obo:IAO_0000116>
<obo:IAO_0000116 xml:lang="en">information_content_entity 'is_encoded_in' some digital_entity in obi before split (040907). information_content_entity 'is_encoded_in' some physical_document in obi before split (040907).
Previous. An information content entity is a non-realizable information entity that 'is encoded in' some digital or physical entity.</obo:IAO_0000116>
<obo:IAO_0000117 xml:lang="en">PERSON: Chris Stoeckert</obo:IAO_0000117>
<obo:IAO_0000119 xml:lang="en">OBI_0000142</obo:IAO_0000119>
<rdfs:label xml:lang="en">information content entity</rdfs:label>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/IAO_0000100 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/IAO_0000100">
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/IAO_0000027"/>
<obo:IAO_0000111 xml:lang="en">data set</obo:IAO_0000111>
<obo:IAO_0000112 xml:lang="en">Intensity values in a CEL file or from multiple CEL files comprise a data set (as opposed to the CEL files themselves).</obo:IAO_0000112>
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo:IAO_0000115 xml:lang="en">A data item that is an aggregate of other data items of the same type that have something in common. Averages and distributions can be determined for data sets.</obo:IAO_0000115>
<obo:IAO_0000116 xml:lang="en">2009/10/23 Alan Ruttenberg. The intention is that this term represent collections of like data. So this isn't for, e.g. the whole contents of a cel file, which includes parameters, metadata etc. This is more like java arrays of a certain rather specific type</obo:IAO_0000116>
<obo:IAO_0000116>2014-05-05: Data sets are aggregates and thus must include two or more data items. We have chosen not to add logical axioms to make this restriction.</obo:IAO_0000116>
<obo:IAO_0000117 xml:lang="en">person:Allyson Lister</obo:IAO_0000117>
<obo:IAO_0000117 xml:lang="en">person:Chris Stoeckert</obo:IAO_0000117>
<obo:IAO_0000119 xml:lang="en">OBI_0000042</obo:IAO_0000119>
<obo:IAO_0000119 xml:lang="en">group:OBI</obo:IAO_0000119>
<obo:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/obi.owl"/>
<rdfs:label xml:lang="en">data set</rdfs:label>
</owl:Class>
<!-- https://w3id.org/aho#deprecated -->
<owl:Class rdf:about="https://w3id.org/aho#deprecated">
<rdfs:label xml:lang="en">zObsolete / deprecated / not in use classes</rdfs:label>
<owl:deprecated xml:lang="en"></owl:deprecated>
</owl:Class>
<!-- https://w3id.org/aho#waiting_placement -->
<owl:Class rdf:about="https://w3id.org/aho#waiting_placement">
<rdfs:label xml:lang="en">awaiting ontology review/placement</rdfs:label>
</owl:Class>
</rdf:RDF>
<!-- Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi -->