-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathgfo-base.owl
1277 lines (1128 loc) · 74.3 KB
/
gfo-base.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
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns="https://w3id.org/gfo/base/"
xml:base="https://w3id.org/gfo/base/"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:vann="http://purl.org/vocab/vann/"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:doap="http://usefulinc.com/ns/doap#"
xmlns:bibo="http://purl.org/ontology/bibo/"
xmlns:terms="http://purl.org/dc/terms/"
xmlns:skos="http://www.w3.org/2004/02/skos/core#">
<!-- Ontology Information -->
<owl:Ontology rdf:about="https://w3id.org/gfo/base">
<dc:modified rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2024-11-18</dc:modified>
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2024-11-18</owl:versionInfo>
<owl:versionIRI rdf:resource="https://w3id.org/gfo/base/release/2024-11-18" />
<dc:title xml:lang="en">General Formal Ontology Base (GFO-base)</dc:title>
<rdfs:label xml:lang="en">General Formal Ontology Base (GFO-base)</rdfs:label>
<dc:description>The module GFO-base of the General Formal Ontology contains all fundamental classes, properties, and axioms that are relevant for all other GFO modules.</dc:description>
<dc:created rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2006-08-28</dc:created>
<vann:preferredNamespaceURI>https://w3id.org/gfo/base/</vann:preferredNamespaceURI>
<vann:preferredNamespacePrefix>gfo-base</vann:preferredNamespacePrefix>
<foaf:homepage>https://github.com/Onto-Med/GFO</foaf:homepage>
<doap:repository rdf:resource="https://github.com/Onto-Med/GFO" />
<bibo:doi>10.5281/zenodo.5205419</bibo:doi>
<terms:license rdf:resource="http://creativecommons.org/licenses/by/4.0/" />
</owl:Ontology>
<!-- Classes -->
<owl:Class rdf:about="https://w3id.org/gfo/base/Abstract">
<rdfs:label xml:lang="en">Abstract</rdfs:label>
<skos:definition xml:lang="en">Abstract individuals are independent from time and space (they are not in time and space).
Examples: the number "2" or pi.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Concrete" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Space_time" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Action">
<rdfs:label xml:lang="en">Action</rdfs:label>
<skos:definition xml:lang="en">Actions are occurrents which are caused by some presential (the agent) at every (inner and outer) time-boundary of the chronoid framing the occurrent.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Occurrent" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/has_agent" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Presential" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Amount_of_substrate">
<rdfs:label xml:lang="en">Amount of substrate</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Continuous" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Presential" />
<owl:equivalentClass rdf:resource="https://w3id.org/gfo/base/Mass_entity" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Awareness_level">
<rdfs:label xml:lang="en">Awareness level</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Level" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/abstract_part_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Mental_stratum" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Biological_level">
<rdfs:label xml:lang="en">Biological level</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Level" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/abstract_part_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Material_stratum" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Category">
<rdfs:label xml:lang="en">Category</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Categories satisfy the following conditions: (1) Categories can be instantiated; (2) Categories can be predicated of other entities. Categories are defined intensional-with-an-s. They are, therefore, closely related to language.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Item" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Individual" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Change">
<rdfs:label xml:lang="en">Change</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A change in the technical sense refers to a pair of process boundaries. Either at coinciding boundaries (then it comes close to notions like ``punctual'' or ``instantaneous event'' as well as ``moment'' -- in a temporal reading), or at boundaries at the opposite ends of a process of arbitrary extension.
The notion of change is relative to contradictory conditions between which a transition takes place. These contradictions refer to some collection of pairwise disjoint universals.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Occurrent" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/History" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Process" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Chemical_level">
<rdfs:label xml:lang="en">Chemical level</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Level" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/abstract_part_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Material_stratum" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Chronoid">
<rdfs:label xml:lang="en">Chronoid</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Chronoids are entities sui generis.
Every chronoid has exactly two extremal and infinitely many inner time boundaries which are equivalently called time-points.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Temporal_region" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Concept">
<rdfs:label xml:lang="en">Concept</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Category" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Symbol_structure" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Universal" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Concrete">
<rdfs:label xml:lang="en">Concrete</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Concrete individuals have a relation to time or space (they are in time and space).</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Abstract" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Space_time" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Configuration">
<rdfs:label xml:lang="en">Configuration</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">We consider a collection of presential facts which exist at the same time-boundary. Such collections may be considered themselves as presentials, and we call them configurations.
It is further required that configurations contain at least one material object.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Presential" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_boundary" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_object" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Configuroid">
<rdfs:label xml:lang="en">Configuroid</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Configuroids are, in the simplest case, integrated wholes made up of material structure processes and property processes.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Process" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Continuous">
<rdfs:label xml:lang="en">Continuous</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Individual" />
<owl:Class>
<owl:complementOf rdf:resource="https://w3id.org/gfo/base/Discrete" />
</owl:Class>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Continuous_change">
<rdfs:label xml:lang="en">Continuous change</rdfs:label>
<skos:definition xml:lang="en">For the purpose of formalizing continuous changes, a minimal chronoid universal D(c) is employed in order to capture the idea of observable differences during certain chronoids, whereas the change itself does not allow the observation of a difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this approach. Continuous changes occur over time (a chronoid).</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Change" />
<owl:equivalentClass rdf:resource="https://w3id.org/gfo/base/Intrinsic_change" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Continuous_process">
<rdfs:label xml:lang="en">Continuous process</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Processes where all non-coinciding internal boundaries are intrinsic changes. These turn out as purely continuous processes, described e.g. in physics by differential equations.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Continuous" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Process" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Discrete_process" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Dependent">
<rdfs:label xml:lang="en">Dependent</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Independent" />
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/depends_on" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Item" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Discrete">
<rdfs:label xml:lang="en">Discrete</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Discrete_presential">
<rdfs:label xml:lang="en">Discrete presential</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Discrete" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Presential" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/instance_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Persistant" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Mass_entity" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Discrete_process">
<rdfs:label xml:lang="en">Discrete process</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Discrete processes are made up of alterations of extrinsic changes and states.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Discrete" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Process" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Continuous_process" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Entity">
<rdfs:label xml:lang="en">Entity</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Everything which exists is called an entity.</skos:definition>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Item" />
<rdf:Description rdf:about="https://w3id.org/gfo/base/Set" />
</owl:unionOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Extrinsic_change">
<rdfs:label xml:lang="en">obsolete: Extrinsic change</rdfs:label>
<owl:deprecated rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</owl:deprecated>
<skos:definition xml:lang="en">Extrinsic changes are represented by change(e1,e2, u1, u2, u), where e1 and e2 are a pair of coincident process boundaries, and u1 and u2 are disjoint sub-universals of u.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Change" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Intrinsic_change" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Function">
<rdfs:label xml:lang="en">Function</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A function F is a universal (conceptual structure) defined in purely teleological terms with respect to a given goal G which commonly is ascribed by means of has-function relation to entities that are the realizations of the function F, execute such a realization or are intended to do it.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Concept" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/History">
<rdfs:label xml:lang="en">History</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Histories consist of a number of process boundaries.
We assume that any history can be embedded into a process, which then forms a foundation of the history. If it were not for this foundation, one would face the problem of singling out the right boundaries in order to get a natural history: It is not sensible to measure the temperature of a patient first, then determine his weight, followed by measuring his blood pressure and to consider these strangely arbitrary process boundaries as a history of the patient's body data.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Occurrent" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Change" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Process" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Independent">
<rdfs:label xml:lang="en">Independent</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Dependent" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Individual">
<rdfs:label xml:lang="en">Individual</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Individuals are entities which cannot be further instantiated.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Item" />
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/instantiated_by" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Item" />
</owl:Restriction>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Category" />
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Dependent" />
<rdf:Description rdf:about="https://w3id.org/gfo/base/Independent" />
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Abstract" />
<rdf:Description rdf:about="https://w3id.org/gfo/base/Concrete" />
<rdf:Description rdf:about="https://w3id.org/gfo/base/Space_time" />
</owl:unionOf>
</owl:Class>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Role" />
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Individual" />
<owl:Class>
<owl:complementOf rdf:resource="https://w3id.org/gfo/base/Role" />
</owl:Class>
</owl:intersectionOf>
</owl:Class>
</owl:unionOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Instantaneous_change">
<rdfs:label xml:lang="en">Instantaneous change</rdfs:label>
<skos:definition xml:lang="en">Instantaneous changes are represented by change(e1,e2, u1, u2, u), where e1 and e2 are a pair of coincident process boundaries, and u1 and u2 are disjoint sub-universals of u. Instantaneous changes are therefore changes of properties on two coinciding time boundaries.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Change" />
<owl:equivalentClass rdf:resource="https://w3id.org/gfo/base/Extrinsic_change" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Intrinsic_change">
<rdfs:label xml:lang="en">obsolete: Intrinsic change</rdfs:label>
<owl:deprecated rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</owl:deprecated>
<skos:definition xml:lang="en">For the purpose of formalizing intrinsic changes, a minimal chronoid universal D(c) is employed in order to capture the idea of observable differences during certain chronoids, whereas the change itself does not allow the observation of a difference. The predicate change(e1,e2, u1, u2, u, D(c)) is intended to formalize this approach.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Change" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Extrinsic_change" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Item">
<rdfs:label xml:lang="en">Item</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">An item is everything which is not a set. Also called ur-element.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Entity" />
<rdfs:subClassOf>
<owl:Class>
<owl:complementOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/has_member" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Entity" />
</owl:Restriction>
</owl:complementOf>
</owl:Class>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Set" />
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Category" />
<rdf:Description rdf:about="https://w3id.org/gfo/base/Individual" />
</owl:unionOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Level">
<rdfs:label xml:lang="en">Level</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">An ontological level, which is sth. more restricted and "part of" some gfo:Stratum.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Ontological_layer" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/abstract_part_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Stratum" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Stratum" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Line">
<rdfs:label xml:lang="en">Line</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Spatial_boundary" />
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/spatial_boundary_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Surface" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Mass_entity">
<rdfs:label xml:lang="en">Mass entity</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Continuous" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Presential" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Discrete_presential" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Material_boundary">
<rdfs:label xml:lang="en">Material boundary</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Dependent" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Presential" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/depends_on" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Material_object" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Configuration" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_object" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Material_line">
<rdfs:label xml:lang="en">Material line</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Material_boundary" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/boundary_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Material_surface" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_point" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_surface" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Material_object">
<rdfs:label xml:lang="en">Material object</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A material structure is an individual which satisfies the following conditions: it is a presential, it occupies space, it is a bearer of qualities, but other entities cannot have it as quality, and it consists of an amount of substrate, and it instantiates a persistant ("has identity").</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Discrete_presential" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:cardinality>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/framed_by" />
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/framed_by" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Topoid" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Configuration" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_boundary" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Material_persistant">
<rdfs:label xml:lang="en">Material persistant</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Material persistants are particular universals whose instances are material structures; they are related to those entities which are called sometimes continuants or objects, as apples, cars or houses. Material persistants capture the phenomenon of persistance through time of a material object. A material persistant P satisfies a number of necessary conditions. For every material persistant P there exists a process P such that the set of instances of P coincides with the set of process-boundaries of P. This implies the existence of a chronoid c such that for every time-point t of c there exists exactly one instance of P at time point t.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Persistant" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:allValuesFrom rdf:resource="https://w3id.org/gfo/base/Material_object" />
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/instantiated_by" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Material_point">
<rdfs:label xml:lang="en">Material point</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Material_boundary" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/boundary_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Material_line" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_line" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_surface" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Material_stratum">
<rdfs:label xml:lang="en">Material stratum</rdfs:label>
<skos:definition xml:lang="en">According to (Poli, 2001), the basic structure of the material stratum is a distinction of physical, chemical and biological levels. These levels can be further refined.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Stratum" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Material_structure">
<rdfs:label xml:lang="en">Material structure</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Discrete_presential" />
<owl:equivalentClass rdf:resource="https://w3id.org/gfo/base/Material_object" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Material_surface">
<rdfs:label xml:lang="en">Material surface</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Material_boundary" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/boundary_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Material_object" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_line" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Material_point" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Mental_stratum">
<rdfs:label xml:lang="en">Mental stratum</rdfs:label>
<skos:definition xml:lang="en">In accordance with the work of R. Poli, we divide the psychological/mental stratum into the layer of awareness and the layer of personality. Awareness comprises most of what is studied by cognitive science (perception, memory, reasoning, etc). Personality on the other hand concerns the phenomenon of will and the way in which someone reacts to her experiences.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Stratum" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Occurrent">
<rdfs:label xml:lang="en">Occurrent</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Occurrents have temporal parts and thus cannot be present at a time-boundary. Time belongs to them, because they happen in time and the time of the occurrent is built into it. The relation between an occurrent and a chronoid is determined by the projection relation.
Occurrents are also called generalized processes in the GFO.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Concrete" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Presential" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Ontological_layer">
<rdfs:label xml:lang="en">Ontological layer</rdfs:label>
<rdfs:comment xml:lang="en">Ontological_layer, all of its sub concepts and the properties layer_of and on_layer are work in progress in a premature beta state.</rdfs:comment>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A collective term for gfo-base:Stratum and gfo-base:Level.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Category" />
<owl:versionInfo xml:lang="en">Beta</owl:versionInfo>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Persistant">
<rdfs:label xml:lang="en">Persistant</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Persistants are GFO's way to capture identity over time.
GFO pursues an approach which accounts for persistence by means of a suitable universal whose instances are presentials. Such universals are called persistants. These do not change and they can be used to explain how presentials which have different properties at different times can nevertheless be the same.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Universal" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/instantiated_by" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Presential" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Personality_level">
<rdfs:label xml:lang="en">Personality level</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Level" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/abstract_part_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Mental_stratum" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Physical_level">
<rdfs:label xml:lang="en">Physical level</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Level" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/abstract_part_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Material_stratum" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Point">
<rdfs:label xml:lang="en">Point</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Spatial_boundary" />
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/spatial_boundary_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Line" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Presential">
<rdfs:label xml:lang="en">Presential</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A presential exists wholly at exactly one time boundary.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Concrete" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/exists_at" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Time_boundary" />
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:cardinality>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/exists_at" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Occurrent" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Process">
<rdfs:label xml:lang="en">Process</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Processes are a special kind of occurrent. Processes are directly in time, they have characteristics which cannot be captured by a collection of time boundaries.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Occurrent" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Change" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/History" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Processual_role">
<rdfs:label xml:lang="en">Processual role</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Processual roles are dependent processes. They are roles with a process as context.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Process" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Role" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/role_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Process" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Relational_role" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Social_role" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Property">
<rdfs:label xml:lang="en">Property</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Concrete" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Dependent" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Relator" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Property_value">
<rdfs:label xml:lang="en">Property value</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">The concept of a property value reflects a relationship between the property of x and the same property as exhibited by another entity y.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Concrete" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Dependent" />
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/value_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Property" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Relational_role">
<rdfs:label xml:lang="en">Relational role</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Dependent" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Role" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/role_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Relator" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Processual_role" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Social_role" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Relator">
<rdfs:label xml:lang="en">Relator</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Property" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Role">
<rdfs:label xml:lang="en">Role</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Concrete" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Set">
<rdfs:label xml:lang="en">Set</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Set is a category pertaining to the individuals in the ZFC set theory.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Entity" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Item" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Situation">
<rdfs:label xml:lang="en">Situation</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A situation is a special configuration which can be comprehended as a whole and satisfies certain conditions of unity, which are imposed by relations and categories associated with the situation. Herein, we consider situations to be the most complex kind of presentials.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Configuration" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Situoid">
<rdfs:label xml:lang="en">Situoid</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Situoids are processes whose boundaries are situations and which satisfy certain principles of coherence, comprehensibility, and continuity. They are regarded as the most complex integrated wholes of the world. A situoid is, intuitively, a part of the world which is a coherent and comprehensible whole and does not need other entities in order to exist. Every situoid has a temporal extent and is framed by a topoid.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Configuroid" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Social_role">
<rdfs:label xml:lang="en">Social role</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Independent" />
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Role" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Processual_role" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Relational_role" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Social_stratum">
<rdfs:label xml:lang="en">Social stratum</rdfs:label>
<skos:definition xml:lang="en">On the one hand, the social stratum is divided into Agents and Institutions. Agents are the bearers of the social roles that humans play. Institutions are defined as systems of interrelated social components. On the other hand, a social system can be seen as a network in which businesses, politics, art, language (and many other facets) both present their own features and influence each other.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Stratum" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Space">
<rdfs:label xml:lang="en">Space</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">GFO uses Brentano space.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Space_time" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Time" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Space_time">
<rdfs:label xml:lang="en">Space time</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Individual" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Abstract" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Concrete" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Spatial_boundary">
<rdfs:label xml:lang="en">Spatial boundary</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Boundaries of regions are surfaces, boundaries of surfaces are lines, and boundaries of lines are points. As in the case of time-boundaries, spatial boundaries have no independent existence, i.e. they depend on the spatial entity of which they are boundaries.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Space" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Spatial_region" />
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/spatial_boundary_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Space" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Spatial_region">
<rdfs:label xml:lang="en">Spacial region</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Space regions are mereological sums of topoids.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Space" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Spatial_boundary" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/State">
<rdfs:label xml:lang="en">State</rdfs:label>
<skos:definition xml:lang="en">A process without an instantaneous change at any of its inner time boundaries is called a state.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Process" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Stratum">
<rdfs:label xml:lang="en">Stratum</rdfs:label>
<skos:definition xml:lang="en">According to (Poli, 2001, 2002) (based on the philosopher Hartmann) we distinguish at least three ontological strata of the world: the material stratum, the mental/psychological stratum, and the social stratum.
Every entity of the world participates in certain strata and levels. We take the position that the layers are characterized by integrated systems of categories. Hence, a layer can be understood as a meta-category whose instances are categories of certain kinds. Among these levels specific forms of categorial and existential dependencies hold. For example, a mental entity requires an animate material object as its existential bearer.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Ontological_layer" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Level" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Surface">
<rdfs:label xml:lang="en">Surface</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Spatial_boundary" />
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/spatial_boundary_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Topoid" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Symbol">
<rdfs:label xml:lang="en">Symbol</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Symbol_structure" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Symbol_sequence">
<rdfs:label xml:lang="en">Symbol sequence</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Symbol_structure" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Symbol_structure">
<rdfs:label xml:lang="en">Symbol structure</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Category" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Concept" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Universal" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Temporal_region">
<rdfs:label xml:lang="en">Temporal region</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Time Regions are defined as the mereological sum of chronoids, i.e. time regions may consist of non-connected intervals of time.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Time" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Time_boundary" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Time">
<rdfs:label xml:lang="en">Time</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">The time model of GFO is based on Brentano and the glass continuum of Allen&Hayes.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Space_time" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Space" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Time_boundary">
<rdfs:label xml:lang="en">Time boundary</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Time boundaries depend on a chronoids (i.e. they have no independent existence) and can coincide.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Time" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/time_boundary_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Chronoid" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Temporal_region" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Token">
<rdfs:label xml:lang="en">Token</rdfs:label>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Concrete" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/instance_of" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Symbol_structure" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Topoid">
<rdfs:label xml:lang="en">Topoid</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Topoids are connected compact regions of space. They have spatial boundaries.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Spatial_region" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Universal">
<rdfs:label xml:lang="en">Universal</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Universals are immanent universals. They exist in re.</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Category" />
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="https://w3id.org/gfo/base/instantiated_by" />
<owl:someValuesFrom rdf:resource="https://w3id.org/gfo/base/Item" />
</owl:Restriction>
</rdfs:subClassOf>
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Concept" />
<owl:disjointWith rdf:resource="https://w3id.org/gfo/base/Symbol_structure" />
</owl:Class>
<owl:Class rdf:about="https://w3id.org/gfo/base/Value_space">
<rdfs:label xml:lang="en">Value space</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Property values usually appear in groups which are called value structures, value spaces or measurement systems. Each of these structures corresponds to some property. More intuitively, one could say that the property may be measured with respect to some measurement system. For instance, sizes may be measured with the values ``small'' ``big'' or ``very big'', which are the elements of one value structure.
The notion of a value structure of a property is similar to a quality dimension in (Gardenfors, 2000).
Further, value structures are related to quality spaces in DOLCE (Masolo, 2003). A quality space consists of all "quales" (our property values) of some "quality" (our property). Often it seems to be the case that a notion of distance can be defined, and that certain layers of value structures are isomorphic to some subset of real numbers, which allows for a mapping of values to pairs of a real number and a unit, as in the case of "10 kg".</skos:definition>
<rdfs:subClassOf rdf:resource="https://w3id.org/gfo/base/Universal" />
</owl:Class>
<owl:Class rdf:nodeID="b36">
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Configuration" />
<rdf:Description rdf:about="https://w3id.org/gfo/base/Configuroid" />
</owl:unionOf>
</owl:Class>
<owl:Class rdf:nodeID="b4">
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="https://w3id.org/gfo/base/Occurrent" />
<rdf:Description rdf:about="https://w3id.org/gfo/base/Presential" />
</owl:unionOf>
</owl:Class>
<!-- Annotation Properties -->
<owl:AnnotationProperty rdf:about="http://www.w3.org/2000/01/rdf-schema#comment" />
<owl:AnnotationProperty rdf:about="http://www.w3.org/2002/07/owl#versionInfo" />
<!-- Object Properties -->
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/abstract_has_part">
<rdfs:label xml:lang="en">abstract has part</rdfs:label>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty" />
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Item" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Item" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/abstract_part_of" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/abstract_part_of">
<rdfs:label xml:lang="en">abstract part of</rdfs:label>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty" />
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">The abstract part-of relation is denoted by p(x,y); the argument-types of this relation are not specified, i.e. we allow arbitrary entities to be arguments. We assume that p(x,y) satisfies the condition of a partial ordering, .i.e. the following axioms: reflexivity, antisymmetry and transitivity.</skos:definition>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Item" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Item" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/abstract_has_part" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/agent_in">
<rdfs:label xml:lang="en">agent in</rdfs:label>
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/causes" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/participates_in" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/has_agent" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/boundary_of">
<rdfs:label xml:lang="en">boundary of</rdfs:label>
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/depends_on" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/has_boundary" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/categorial_part_of">
<rdfs:label xml:lang="en">categorial part of</rdfs:label>
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/abstract_part_of" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/has_categorial_part" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/category_in_layer">
<rdfs:label xml:lang="en">category in layer</rdfs:label>
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/categorial_part_of" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/has_category" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/caused_by">
<rdfs:label xml:lang="en">caused by</rdfs:label>
<rdfs:domain rdf:nodeID="b4" />
<rdfs:range rdf:nodeID="b4" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/causes" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/causes">
<rdfs:label xml:lang="en">causes</rdfs:label>
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/caused_by" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/constituent_part_of">
<rdfs:label xml:lang="en">constituent part of</rdfs:label>
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/proper_part_of" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/has_constituent_part" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/depends_on">
<rdfs:label xml:lang="en">depends on</rdfs:label>
<skos:definition rdf:datatype="http://www.w3.org/2001/XMLSchema#string">This relation captures the notion of existential dependence.</skos:definition>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Item" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Item" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/necessary_for" />
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="https://w3id.org/gfo/base/exists_at">
<rdfs:label xml:lang="en">exists at</rdfs:label>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty" />
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Presential" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Time_boundary" />
</owl:FunctionalProperty>
<owl:FunctionalProperty rdf:about="https://w3id.org/gfo/base/framed_by">
<rdfs:label xml:lang="en">framed by</rdfs:label>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty" />
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Material_object" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Topoid" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/occupies" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/frames" />
</owl:FunctionalProperty>
<owl:InverseFunctionalProperty rdf:about="https://w3id.org/gfo/base/frames">
<rdfs:label xml:lang="en">frames</rdfs:label>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty" />
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Topoid" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Material_object" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/framed_by" />
</owl:InverseFunctionalProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/function_determinant_of">
<rdfs:label xml:lang="en">function determinant of</rdfs:label>
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Function" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/function_of">
<rdfs:label xml:lang="en">function of</rdfs:label>
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/has_function" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/functional_item_of">
<rdfs:label xml:lang="en">functional item of</rdfs:label>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Role" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/function_determinant_of" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/has_functional_item" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/goal_of">
<rdfs:label xml:lang="en">goal of</rdfs:label>
<skos:definition xml:lang="en">The term "goal" here refers to "final state" in (Burek, 2006).</skos:definition>
<rdfs:domain rdf:nodeID="b36" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/function_determinant_of" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/has_goal" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_agent" />
<owl:InverseFunctionalProperty rdf:about="https://w3id.org/gfo/base/has_boundary">
<rdfs:label xml:lang="en">has boundary</rdfs:label>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/boundary_of" />
</owl:InverseFunctionalProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_categorial_part">
<rdfs:label xml:lang="en">has categorial part</rdfs:label>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Category" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Category" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/abstract_has_part" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_category">
<rdfs:label xml:lang="en">has category</rdfs:label>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Ontological_layer" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Category" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/category_in_layer" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_constituent_part">
<rdfs:label xml:lang="en">has constituent part</rdfs:label>
<rdfs:domain rdf:nodeID="b36" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/has_proper_part" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/constituent_part_of" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_function">
<rdfs:label xml:lang="en">has function</rdfs:label>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Individual" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Function" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/function_of" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_function_determinant">
<rdfs:label xml:lang="en">has function determinant</rdfs:label>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Function" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Individual" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/function_determinant_of" />
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="https://w3id.org/gfo/base/has_functional_item">
<rdfs:label xml:lang="en">has functional item</rdfs:label>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty" />
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Function" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Role" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/has_function_determinant" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/functional_item_of" />
</owl:FunctionalProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_goal">
<rdfs:label xml:lang="en">has goal</rdfs:label>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Function" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/has_function_determinant" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/goal_of" />
</owl:ObjectProperty>
<owl:FunctionalProperty rdf:about="https://w3id.org/gfo/base/has_left_time_boundary">
<rdfs:label xml:lang="en">has left time boundary</rdfs:label>
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty" />
<rdfs:subPropertyOf rdf:resource="https://w3id.org/gfo/base/has_time_boundary" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/left_boundary_of" />
</owl:FunctionalProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_member">
<rdfs:label xml:lang="en">has member</rdfs:label>
<rdfs:domain rdf:resource="https://w3id.org/gfo/base/Set" />
<rdfs:range rdf:resource="https://w3id.org/gfo/base/Entity" />
<owl:inverseOf rdf:resource="https://w3id.org/gfo/base/member_of" />
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="https://w3id.org/gfo/base/has_part">
<rdfs:label xml:lang="en">has part</rdfs:label>