-
Notifications
You must be signed in to change notification settings - Fork 4
/
GSO-Common-consisten.ttl
3377 lines (2833 loc) · 215 KB
/
GSO-Common-consisten.ttl
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
@prefix : <https://w3id.org/gso/common/> .
@prefix dct: <http://purl.org/dc/terms/> .
@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 gsoc: <https://w3id.org/gso/common/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix schema: <https://schema.org/> .
@base <https://w3id.org/gso/common/ontology> .
<https://w3id.org/gso/common/ontology> rdf:type owl:Ontology ;
dct:bibliographicCitation "Brodaric, B., and Richard, S.M., 2021, The GeoScience Ontology Reference: Geological Survey of Canada Open File 8796, 34 p., https://doi.org/10.4095/328296" ;
dct:created "2020-03-26"^^xsd:date ;
dct:creator gsoc:boyan_brodaric ,
gsoc:stephen_richard ;
dct:license <https://creativecommons.org/licenses/by/4.0/legalcode> ;
dct:modified "2021-07-15"^^xsd:date ;
dct:publisher "ARC Loop3D project; https://loop3d.org/" ,
"Geological Survey of Canada, Natural Resources Canada, Government of Canada" ;
dct:rights "Copyright (c) 2021 Government of Canada" ;
rdfs:comment "Unary predicates are represented by owl classes, binary predicates by rdf properties. This ontology defines common types and relations that are further specialized by geologic entities in other modules"@en ;
rdfs:label "Geoscience Ontology, Common"@en ;
skos:definition "Common elements for geoscience ontology"@en ;
skos:historyNote "2021-07-15. Add mappign to OWL time temporal relations using rdfs:seeAlso annotation. add labels for temporal relations. Leave timeYoungerThan as property corresponding to Allen 'After' and time:after. Add scope notes on timePrecededBy, defining it to be parent property for timeYoungerThan and for timeMetBy. Follow same pattern for timePrecedes. Make Meets/MetBy subproperties of timeIntersects but not of timeDisjoint."@en ;
schema:codeRepository "https://github.com/Loop3D/GKM/tree/master/Loop3D-GSO" .
#################################################################
# Annotation properties
#################################################################
### http://purl.org/dc/terms/bibliographicCitation
dct:bibliographicCitation rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/created
dct:created rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://purl.org/dc/terms/creator
dct:creator rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://purl.org/dc/terms/description
dct:description rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://purl.org/dc/terms/license
dct:license rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://purl.org/dc/terms/modified
dct:modified rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://purl.org/dc/terms/publisher
dct:publisher rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://purl.org/dc/terms/rights
dct:rights rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://purl.org/dc/terms/source
dct:source rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://www.w3.org/2000/01/rdf-schema#comment
rdfs:comment rdfs:subPropertyOf gsoc:hasAnnotation .
### http://www.w3.org/2000/01/rdf-schema#description
rdfs:description rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://www.w3.org/2000/01/rdf-schema#label
rdfs:label rdfs:subPropertyOf gsoc:hasAnnotation .
### http://www.w3.org/2000/01/rdf-schema#seeAlso
rdfs:seeAlso rdfs:subPropertyOf gsoc:hasAnnotation .
### http://www.w3.org/2002/07/owl#versionInfo
owl:versionInfo rdfs:subPropertyOf gsoc:hasAnnotation .
### http://www.w3.org/2004/02/skos/core#altLabel
skos:altLabel rdf:type owl:AnnotationProperty .
### http://www.w3.org/2004/02/skos/core#definition
skos:definition rdf:type owl:AnnotationProperty ;
rdfs:subPropertyOf gsoc:hasAnnotation .
### http://www.w3.org/2004/02/skos/core#historyNote
skos:historyNote rdf:type owl:AnnotationProperty .
### http://www.w3.org/2004/02/skos/core#note
skos:note rdf:type owl:AnnotationProperty .
### http://www.w3.org/2004/02/skos/core#prefLabel
skos:prefLabel rdf:type owl:AnnotationProperty .
### https://schema.org/affiliation
schema:affiliation rdf:type owl:AnnotationProperty .
### https://schema.org/codeRepository
schema:codeRepository rdf:type owl:AnnotationProperty .
### https://schema.org/identifier
schema:identifier rdf:type owl:AnnotationProperty .
### https://schema.org/name
schema:name rdf:type owl:AnnotationProperty .
### https://w3id.org/gso/common/hasAnnotation
gsoc:hasAnnotation rdf:type owl:AnnotationProperty ;
rdfs:comment "Most general undirected relation for annotations and similar things."@en .
#################################################################
# Datatypes
#################################################################
### http://www.w3.org/2001/XMLSchema#anySimpleType
xsd:anySimpleType rdf:type rdfs:Datatype .
### http://www.w3.org/2001/XMLSchema#date
xsd:date rdf:type rdfs:Datatype .
#################################################################
# Object Properties
#################################################################
### https://w3id.org/gso/common/adjacentlyDependsOn
gsoc:adjacentlyDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:spatio-temporallyDependsOn ;
rdfs:comment "Specific dependence with spatial and temporal adjacency between relata."@en .
### https://w3id.org/gso/common/constantlyGenDependsOn
gsoc:constantlyGenDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:genericallyDependsOn ;
rdfs:comment "Constant generic dependance in which relata are co-temporal, that is, the dependee exists during the lifespan of the dependent."@en .
### https://w3id.org/gso/common/constantlySpecDependsOn
gsoc:constantlySpecDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:constantlyGenDependsOn ,
gsoc:specificallyDependsOn ,
gsoc:timeIncludedBy ;
rdfs:comment "Constant specific dependence, in which the dependee is co-temporal with the dependent. The Time_Region occupied directly or indirectly by the subject must not extend outside the Time_Region occupied directly or indirectly by the object"@en .
### https://w3id.org/gso/common/containedBy
gsoc:containedBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
owl:inverseOf gsoc:contains ;
dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ;
rdfs:comment "The interior and boundary of the subject spatial region intesect only the interior of the object spatial region. Subject region is in the interior of the object region."@en ;
skos:altLabel "within"@en .
### https://w3id.org/gso/common/contains
gsoc:contains rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ;
rdfs:comment "Object region lies in subject region, and the interiors intersect. Another definition: \"subject region contains object region iff no points of object region lie in the exterior of subject region, and at least one point of the interior of object region lies in the interior of subject region\"."@en .
### https://w3id.org/gso/common/coveredBy
gsoc:coveredBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
owl:inverseOf gsoc:covers ;
dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ;
rdfs:comment "the boundary of the subject intersects the interior or the boundary of the object region, and the interior of the subject intersects only the interior of the object region. Every point of the subject region is a point in the interior or the boundary of the object region."@en .
### https://w3id.org/gso/common/covers
gsoc:covers rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ;
rdfs:comment "At least one point of object region lies in subject region, and no point of object region lies in the exterior of subject region, or every point of object region is a point of (the interior or boundary of) subject region. Alternative: The interior of the subject region intersects the interior or the boundary of the object region, and the boundary of the subject region intersects the boundary of the object region."@en .
### https://w3id.org/gso/common/crosses
gsoc:crosses rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ;
rdfs:comment "The subject and object spatial regions have some but not all interior points in common, and the dimension of the intersection is less than that of at least one of them."@en .
### https://w3id.org/gso/common/dependance
gsoc:dependance rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "Undirected dependence relation."@en .
### https://w3id.org/gso/common/dependsOn
gsoc:dependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:dependance ;
owl:inverseOf gsoc:hasDependent ;
rdfs:comment "Directed relation between a dependent entity (that relies on something) and a dependee (the thing being relied on)." .
### https://w3id.org/gso/common/determination
gsoc:determination rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "Undirected relation in which something acts as evidence or method to validate an entity"@en .
### https://w3id.org/gso/common/determinedBy
gsoc:determinedBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:determination ;
owl:inverseOf gsoc:determines ;
rdfs:comment "Directed relation between an entity and something that helps validate it."@en .
### https://w3id.org/gso/common/determines
gsoc:determines rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:determination ;
rdfs:comment "Directed relation between something, as validator, and the thing being validated."@en .
### https://w3id.org/gso/common/emerges
gsoc:emerges rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasDependent ;
owl:inverseOf gsoc:emergesFrom ;
rdfs:domain gsoc:Relator ;
rdfs:range gsoc:Feature ;
rdfs:comment "The directed relation between a relator and feature, in which the feature is derived from the relator, i.e. the relator emerges the feature."@en .
### https://w3id.org/gso/common/emergesFrom
gsoc:emergesFrom rdf:type owl:ObjectProperty .
### https://w3id.org/gso/common/exemplification
gsoc:exemplification rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "Undirected relation between an example and the thing it exemplifies. Both instances and types can be exemples and exemplified, e.g. as typical instance of a type, or a typical part of something."@en .
### https://w3id.org/gso/common/exemplifies
gsoc:exemplifies rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:exemplification ;
owl:inverseOf gsoc:isExemplifiedBy ;
rdf:type owl:IrreflexiveProperty ;
rdfs:comment "Directed relation between an example and the thing being exemplfied."@en .
### https://w3id.org/gso/common/externallyGenDependsOn
gsoc:externallyGenDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:genericallyDependsOn ;
rdfs:comment "External generic ontological dependence in which the dependee is not an internal entity, e.g. is not a quality, role, constituent, or essential part, but is some external entit."@en .
### https://w3id.org/gso/common/externallySpecDependsOn
gsoc:externallySpecDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:externallyGenDependsOn ,
gsoc:specificallyDependsOn ;
rdfs:comment "External specific dependence, i.e. not dependent on own parts, qualities, roles, constituents, etc."@en .
### https://w3id.org/gso/common/genericallyDependsOn
gsoc:genericallyDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:dependsOn ;
rdfs:comment "Directed generic ontological dependence relation in which something relies on something else of a certain type; excludes self-dependence and other edge problematic cases, and is atemporal (relata need not co-exist in time). Note the relation cannot be more explicitly defined in this notation." .
### https://w3id.org/gso/common/hasConstituent
gsoc:hasConstituent rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasPersistentPart ;
owl:inverseOf gsoc:isConstituentOf ;
rdfs:comment "Relation between an object and something (the consitituent) that makes up the object."@en .
### https://w3id.org/gso/common/hasDependent
gsoc:hasDependent rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:dependance ;
rdfs:comment "Directed relation between a dependee (the thing being relied on) and the dependent (the thing that relies on something)."@en ;
rdfs:label "has dependent"@en .
### https://w3id.org/gso/common/hasEndValue
gsoc:hasEndValue rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasStaticPart ;
rdfs:domain gsoc:Range_Value ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Measure_Value
gsoc:Named_Value
)
] ;
rdfs:comment "The upper bound in quality value range."@en .
### https://w3id.org/gso/common/hasEssentialPart
gsoc:hasEssentialPart rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:genericallyDependsOn ,
gsoc:hasPart ;
owl:inverseOf gsoc:isEssentialPartOf ;
rdfs:comment "The whole is generically dependent on this part, which must be present at some time during the whole, but not necessarily all times, and can be exchanged - all without loss of identity for the whole. owl:propertyDisjointWith gsoc:timeDisjoint ;"@en .
### https://w3id.org/gso/common/hasExample
gsoc:hasExample rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isRoleObjectFor ;
owl:inverseOf gsoc:isExampleOf ;
rdfs:range gsoc:Example ;
rdfs:comment "Relation between an exemplified entity and its example."@en .
### https://w3id.org/gso/common/hasInput
gsoc:hasInput rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasParticipant ;
owl:inverseOf gsoc:isInputOf ;
rdfs:comment "A participant in a process that must be present before the process can run."@en .
### https://w3id.org/gso/common/hasOlderHost
gsoc:hasOlderHost rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:timePrecededBy ;
rdfs:comment "The hosted entity is the younger boundary of the host; applies to contacts (hosted by rock body) and temporal boundaries (hosted by time intervals)"@en .
### https://w3id.org/gso/common/hasOutput
gsoc:hasOutput rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasParticipant ;
owl:inverseOf gsoc:isOutputOf ;
rdfs:comment "A participant in a process that is produced by the action of the process and is present when the process is complete."@en .
### https://w3id.org/gso/common/hasPart
gsoc:hasPart rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:parthood ;
owl:inverseOf gsoc:isPartOf ;
rdfs:comment "Standard directed relation between a whole and a part; the part could be proper or improper."@en .
### https://w3id.org/gso/common/hasParticipant
gsoc:hasParticipant rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:externallyGenDependsOn ;
owl:inverseOf gsoc:isParticipantIn ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Event
gsoc:Process
)
] ;
rdfs:range gsoc:Endurant ;
rdfs:comment "The participation of an endurant in a process or event."@en .
### https://w3id.org/gso/common/hasPersistentPart
gsoc:hasPersistentPart rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:constantlyGenDependsOn ,
gsoc:hasEssentialPart ;
owl:inverseOf gsoc:isPersistentPartOf ;
rdfs:comment "The part must be present at all times the whole is present, and the part can be exchanged but not missing."@en .
### https://w3id.org/gso/common/hasQuality
gsoc:hasQuality rdf:type owl:ObjectProperty ;
owl:inverseOf gsoc:isQualityOf ;
rdfs:range gsoc:Quality ;
rdfs:comment "Directed relation between something and a quality that is carried by it."@en .
### https://w3id.org/gso/common/hasReferenceSystem
gsoc:hasReferenceSystem rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:reference ;
owl:inverseOf gsoc:isReferenceSystemFor ;
rdf:type owl:AsymmetricProperty ;
rdfs:domain gsoc:Quality_Value ;
rdfs:range gsoc:Reference_System ;
owl:propertyDisjointWith gsoc:isReferenceSystemFor ;
rdfs:comment "Dircted relation a quality value and its reference system."@en .
### https://w3id.org/gso/common/hasRole
gsoc:hasRole rdf:type owl:ObjectProperty ;
owl:inverseOf gsoc:hasRolePlayer ;
rdfs:range gsoc:Role ;
rdfs:comment "The directed relation between a role player, and the role. E.g. between a rock material and the clast that is made up of that material."@en .
### https://w3id.org/gso/common/hasRoleObject
gsoc:hasRoleObject rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:specificallyDependsOn ;
owl:inverseOf gsoc:isRoleObjectFor ;
rdfs:domain gsoc:Role ;
rdfs:comment "property that links a Role to the Particular that the RolePlayer is linked to in a relationship"@en .
### https://w3id.org/gso/common/hasRolePlayer
gsoc:hasRolePlayer rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:inheresIn ;
rdfs:domain gsoc:Role ;
rdfs:comment "A role is played by (has a role player) something in a relation; e.g. students, employees, pilots are played by persons in enrollment, employment, and flying relations, respectivey."@en .
### https://w3id.org/gso/common/hasSample
gsoc:hasSample rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isRoleObjectFor ;
owl:inverseOf gsoc:isSampleOf ;
rdfs:range gsoc:Example ;
rdfs:comment "Relation between an sampled entity and its sample."@en .
### https://w3id.org/gso/common/hasSetting
gsoc:hasSetting rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isEssentialPartOf ;
owl:inverseOf gsoc:isSettingFor ;
rdfs:range gsoc:Setting ;
rdfs:comment "Relation between somethingh and its contextualized setting."@en .
### https://w3id.org/gso/common/hasSpatialLocation
gsoc:hasSpatialLocation rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:location ;
rdfs:range gsoc:Spatial_Value ;
rdfs:comment "A relation between a non-abstact particular and a spatial location value - still in a test stage; intended as a short-cut for specifying the spatial location of something, but therefore equal to saying that something occupies space (in/directly) and has a spatial location quality with a certain spatial value (in a spatial reference system)."@en ;
rdfs:label "spatial location value "@en .
### https://w3id.org/gso/common/hasStartValue
gsoc:hasStartValue rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasStaticPart ;
rdfs:domain gsoc:Range_Value ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Measure_Value
gsoc:Named_Value
)
] ;
rdfs:comment "The lower bound in a quality value range."@en .
### https://w3id.org/gso/common/hasStaticPart
gsoc:hasStaticPart rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:constantlySpecDependsOn ,
gsoc:hasPersistentPart ;
owl:inverseOf gsoc:isStaticPartOf ;
rdfs:comment "The specifc individual that is a part must always be co-present with whole, cannot be exchanged nor missing, and whole is specifically dependent on it."@en .
### https://w3id.org/gso/common/hasStaticValue
gsoc:hasStaticValue rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasStaticPart ,
gsoc:hasValue ;
owl:inverseOf gsoc:isStaticValueOf ;
rdf:type owl:AsymmetricProperty ;
rdfs:domain gsoc:Quality ;
rdfs:range gsoc:Quality_Value ;
rdfs:comment "Having a fixed quality value that cannot change during the existence of the quality."@en .
### https://w3id.org/gso/common/hasUOM
gsoc:hasUOM rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasQuality ;
rdfs:domain gsoc:Measure_Value ;
rdfs:range gsoc:Unit_Of_Measure ;
rdfs:comment "top level property for assigning property values; subtype for associating values with measurement units "@en .
### https://w3id.org/gso/common/hasValue
gsoc:hasValue rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasPersistentPart ;
owl:inverseOf gsoc:isValueOf ;
rdf:type owl:AsymmetricProperty ;
rdfs:domain gsoc:Quality ;
rdfs:range gsoc:Quality_Value ;
rdfs:comment "top level property for assigning property values; subtype for particular kinds of values (integer, category, number boolean...) "@en .
### https://w3id.org/gso/common/hasYoungerHost
gsoc:hasYoungerHost rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:timePrecedes ;
rdfs:comment "The hosted entity is the older boundary of the host; applies to contacts (hosted by rock body) and temporal boundaries (hosted by time intervals)"@en .
### https://w3id.org/gso/common/hostedBy
gsoc:hostedBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:genericallyDependsOn ;
owl:inverseOf gsoc:hosts ;
rdfs:domain gsoc:Feature ;
rdfs:comment "The relation of hosting a feature, e.g. the material object that hosts a hole."@en .
### https://w3id.org/gso/common/hosts
gsoc:hosts rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasDependent ;
rdfs:range gsoc:Feature ;
rdfs:comment "Direction relation of hosting a feature in which the feature is generically dependent on the host."@en .
### https://w3id.org/gso/common/inheresIn
gsoc:inheresIn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:constantlySpecDependsOn ;
rdf:type owl:FunctionalProperty ;
rdfs:domain gsoc:Inherant ;
rdfs:comment "Inhering in something involves being constantly specifically dependent on it. E.g. a quality such as thickness inheres in a rock body."@en .
### https://w3id.org/gso/common/isConstituentOf
gsoc:isConstituentOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isPersistentPartOf ;
rdfs:comment "Relation between some particular and the object that it makes up."@en .
### https://w3id.org/gso/common/isEssentialPartOf
gsoc:isEssentialPartOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasDependent ,
gsoc:isPartOf ;
rdfs:comment "Relation of being an essential part of a whole, such that whole is generically dependent on the part, and the part can be exchanged or missing."@en .
### https://w3id.org/gso/common/isExampleOf
gsoc:isExampleOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasRoleObject ;
rdfs:domain gsoc:Example ;
rdfs:comment "Relation to a significant example of something. Can point to a complete example or representative part."@en .
### https://w3id.org/gso/common/isExemplifiedBy
gsoc:isExemplifiedBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:exemplification ;
rdf:type owl:IrreflexiveProperty ;
rdfs:comment "Directed relation between a thing and its example."@en .
### https://w3id.org/gso/common/isFundamentallyRelatedTo
gsoc:isFundamentallyRelatedTo rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "Most general domain-neutral relation (e.g. non-spatial, non-temporal, non-geological,...)"@en .
### https://w3id.org/gso/common/isInputOf
gsoc:isInputOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isParticipantIn ;
rdfs:comment "Relation from an endurant to an event or process for which the endurant is a precursor."@en .
### https://w3id.org/gso/common/isOutputOf
gsoc:isOutputOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isParticipantIn ;
rdfs:comment "Relation from an endurant to an event or process for which the endurant is a result."@en .
### https://w3id.org/gso/common/isPartOf
gsoc:isPartOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:parthood ;
rdfs:comment "Directed relation between a part and whole."@en .
### https://w3id.org/gso/common/isParticipantIn
gsoc:isParticipantIn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasDependent ;
rdfs:domain gsoc:Endurant ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Event
gsoc:Process
)
] ;
rdfs:comment "Inverse of hasParticipant. Directed relation between some endurant and a process or event in which it participates."@en .
### https://w3id.org/gso/common/isPersistentPartOf
gsoc:isPersistentPartOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isEssentialPartOf ;
rdfs:comment "Inverse of hasPersistentPart. Persistent parts temporally co-exist with the whole for the lifespan of the whole, so cannot be missing but can be exchanged."@en .
### https://w3id.org/gso/common/isProducedFrom
gsoc:isProducedFrom rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:production ;
owl:inverseOf gsoc:isProductionInput ;
owl:propertyDisjointWith gsoc:isProductionInput ;
rdfs:comment "Directed relation between the output of some process or event, and its input."@en ;
rdfs:label "produced from "@en .
### https://w3id.org/gso/common/isProductionInput
gsoc:isProductionInput rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:production ;
rdfs:comment "Directed relation between the input of some process or event, and its output."@en ;
rdfs:label "production input "@en .
### https://w3id.org/gso/common/isQualityOf
gsoc:isQualityOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:inheresIn ;
rdfs:domain gsoc:Quality ;
rdfs:comment "Relation between a quality and the thing that carries the quality, e.g. between a thickness quality and its rock body."@en .
### https://w3id.org/gso/common/isReferenceSystemFor
gsoc:isReferenceSystemFor rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:reference ;
rdf:type owl:AsymmetricProperty ;
rdfs:domain gsoc:Reference_System ;
rdfs:range gsoc:Quality_Value ;
rdfs:comment "Directed relation between a referene system and a quality value."@en .
### https://w3id.org/gso/common/isRelatedTo
gsoc:isRelatedTo rdf:type owl:ObjectProperty ,
owl:SymmetricProperty ;
rdfs:comment "Most general relation in GSO holding between any two things"@en .
### https://w3id.org/gso/common/isRoleObjectFor
gsoc:isRoleObjectFor rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasDependent ;
rdfs:range gsoc:Role ;
rdfs:comment "Inverse of hasRoleObject. Relation between a role and the non-role-player objects that are associated. E.g. in an employs relation, the entity that employs (employer) is a role object for the employee role."@en .
### https://w3id.org/gso/common/isSampleOf
gsoc:isSampleOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasRoleObject ;
rdfs:domain gsoc:Sample ;
rdfs:comment "Relation to a significant sample (i.e. part) of the domain (in the context of some other relation). Examples and samples can overlap, but are not the same. All samples are parts of the thing sampled, and are not necessarily prototypical. Examples are prototypical of the exemlpified thing, but are not necessarily parts."@en .
### https://w3id.org/gso/common/isSettingFor
gsoc:isSettingFor rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasEssentialPart ;
rdfs:domain gsoc:Setting ;
rdfs:comment "Relation between a setting and the entity contextualized by the settting."@en .
### https://w3id.org/gso/common/isSpatiallyRelatedTo
gsoc:isSpatiallyRelatedTo rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "Undirected most general spatial relation." .
### https://w3id.org/gso/common/isStaticPartOf
gsoc:isStaticPartOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isPersistentPartOf ;
rdfs:comment "Inverse of hasStaticPart. Static parts are essentially part of whole during the life of the whole and cannot be missing or exchanged."@en .
### https://w3id.org/gso/common/isStaticValueOf
gsoc:isStaticValueOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isStaticPartOf ,
gsoc:isValueOf ;
rdf:type owl:AsymmetricProperty ;
rdfs:domain gsoc:Quality_Value ;
rdfs:range gsoc:Quality ;
rdfs:comment "Relation between a fixed value (that never changes for the quality) and its quality."@en .
### https://w3id.org/gso/common/isTemporallyRelatedTo
gsoc:isTemporallyRelatedTo rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:complementOf gsoc:Abstract_Endurant
] ;
rdfs:range [ rdf:type owl:Class ;
owl:complementOf gsoc:Abstract_Endurant
] ;
rdfs:comment "Most general undirected temporal relation holding between non-abstract things that exist in time. Temporal relationships hold between things that directly or indirectly occupy temporal regions - the association is evaluated on the regions being occupied, but the domain and range are the occupying entities"@en .
### https://w3id.org/gso/common/isValueOf
gsoc:isValueOf rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:constantlySpecDependsOn ,
gsoc:isPersistentPartOf ;
rdf:type owl:AsymmetricProperty ;
rdfs:domain gsoc:Quality_Value ;
rdfs:range gsoc:Quality ;
rdfs:comment "Relation between a quality value and its quality."@en .
### https://w3id.org/gso/common/location
gsoc:location rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:constantlyGenDependsOn ;
rdf:type owl:SymmetricProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:complementOf gsoc:Abstract_Endurant
] ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Spatial_Value
gsoc:Temporal_Value
)
] ;
rdfs:comment "A relation between a non-abstact particular and a spatial or temporal location value - still in a test stage; intended as a short-cut for specifying the spatial or temporal location of something, but therefore equal to saying that something occupies space or time (in/directly) and has a spatial/temporal location quality with a certain value (in a spatial / temporal reference system). Generically depends on the spatial or temporal value."@en ;
rdfs:label "location "@en .
### https://w3id.org/gso/common/materiallyDependsOn
gsoc:materiallyDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:constantlySpecDependsOn ,
gsoc:dependsOn ;
rdfs:domain gsoc:Physical_Endurant ;
rdfs:range gsoc:Physical_Endurant ;
rdfs:comment "Materially depends on - loss or change in the dependee will cause an unaviodable material change in the dependent."@en .
### https://w3id.org/gso/common/nextTimeInterval
gsoc:nextTimeInterval rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:timeMeets ;
rdfs:domain gsoc:Time_Interval ;
rdfs:range gsoc:Time_Interval ;
rdfs:comment "Source Time_Interval ends at the beginning of the target Time_Interval; there is no intervening time; inverse of gsoc:previousTimeInterval"@en .
### https://w3id.org/gso/common/occupiedBy
gsoc:occupiedBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hasDependent ;
owl:inverseOf gsoc:occupies ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Spatial_Region
gsoc:Time_Region
)
] .
### https://w3id.org/gso/common/occupies
gsoc:occupies rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:constantlyGenDependsOn ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Spatial_Region
gsoc:Time_Region
)
] ;
rdfs:comment "Occupation of a region of space or time, directly or indirectly"@en .
### https://w3id.org/gso/common/occupiesSpace
gsoc:occupiesSpace rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:occupies ,
gsoc:spatiallyEquals ;
owl:inverseOf gsoc:spaceOccupiedBy ;
rdfs:range gsoc:Spatial_Region ;
rdfs:comment "Occupation of a region of space, directly or indirectly"@en .
### https://w3id.org/gso/common/occupiesSpaceDirectly
gsoc:occupiesSpaceDirectly rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:occupiesSpace ;
owl:inverseOf gsoc:spaceOccupiedDirectlyBy ;
rdfs:comment "The occupation of a spatial region by a material endurant."@en .
### https://w3id.org/gso/common/occupiesSpaceIndirectly
gsoc:occupiesSpaceIndirectly rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:occupiesSpace ;
owl:inverseOf gsoc:spaceOccupiedIndirectlyBy ;
rdfs:range gsoc:Spatial_Region ;
rdfs:comment "Occupies space indirectly."@en .
### https://w3id.org/gso/common/occupiesTime
gsoc:occupiesTime rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:occupies ,
gsoc:timeEquivalentTo ;
owl:inverseOf gsoc:timeOccupiedBy ;
rdfs:domain [ rdf:type owl:Class ;
owl:complementOf [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Abstract_Endurant
gsoc:Time_Region
)
]
] ;
rdfs:range gsoc:Time_Region ;
rdfs:comment "Occupation of a region of time, directly or indirectly"@en .
### https://w3id.org/gso/common/occupiesTimeDirectly
gsoc:occupiesTimeDirectly rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:occupiesTime ;
owl:inverseOf gsoc:timeOccupiedDirectlyBy ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Event
gsoc:Process
)
] ;
rdfs:range gsoc:Time_Region ;
rdfs:comment "The occupation of a time region by a process or event."@en .
### https://w3id.org/gso/common/occupiesTimeIndirectly
gsoc:occupiesTimeIndirectly rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:occupiesTime ;
owl:inverseOf gsoc:timeOccupiedIndirectlyBy ;
rdfs:domain [ rdf:type owl:Class ;
owl:complementOf gsoc:Perdurant
] ;
rdfs:range gsoc:Time_Region ;
rdfs:comment "Occupies a temporal region indirectly."@en .
### https://w3id.org/gso/common/parthood
gsoc:parthood rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "Undirected relation between a part and whole."@en .
### https://w3id.org/gso/common/partialEnvelope
gsoc:partialEnvelope rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
rdfs:comment "Proposed for 'wraps around' relation." .
### https://w3id.org/gso/common/previousTimeInterval
gsoc:previousTimeInterval rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:timeMetBy ;
rdfs:domain gsoc:Time_Interval ;
rdfs:range gsoc:Time_Interval ;
rdfs:comment "Source Time_Interval starts at the end of the target Time_Interval; there is no intervening time; inverse of gsoc:nextTimeInterval"@en .
### https://w3id.org/gso/common/production
gsoc:production rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ;
rdf:type owl:SymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:comment "Undirected relation between the input and output of some process or event."@en ;
rdfs:label "Production "@en .
### https://w3id.org/gso/common/reference
gsoc:reference rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isFundamentallyRelatedTo ;
rdf:type owl:SymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:comment "Undirected relation between an entity and its reference system"@en .
### https://w3id.org/gso/common/spaceOccupiedBy
gsoc:spaceOccupiedBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:occupiedBy ;
rdfs:domain gsoc:Spatial_Region .
### https://w3id.org/gso/common/spaceOccupiedDirectlyBy
gsoc:spaceOccupiedDirectlyBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:spaceOccupiedBy ;
rdfs:domain gsoc:Spatial_Region .
### https://w3id.org/gso/common/spaceOccupiedIndirectlyBy
gsoc:spaceOccupiedIndirectlyBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:spaceOccupiedBy ;
rdfs:domain gsoc:Spatial_Region .
### https://w3id.org/gso/common/spatialOverlaps
gsoc:spatialOverlaps rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "The subject and object spatial regions have some but not all points in common, they have the same dimension, and the intersection of the interiors of the two geometries has the same dimension as the geometries themselves"@en .
### https://w3id.org/gso/common/spatiallyDisjoint
gsoc:spatiallyDisjoint rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
rdf:type owl:SymmetricProperty .
### https://w3id.org/gso/common/spatiallyEquals
gsoc:spatiallyEquals rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
rdf:type owl:SymmetricProperty ;
dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ;
rdfs:comment "a and b are topologically equal. Two geometries are topologically equal if their interiors intersect and no part of the interior or boundary of one geometry intersects the exterior of the other"@en ,
"the boundary of the subject intersects only the boundary of the object spatial region, and the interior of the subject intersects only the interior of the obect spatial region."@en .
### https://w3id.org/gso/common/spatiallyTouches
gsoc:spatiallyTouches rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isSpatiallyRelatedTo ;
rdf:type owl:SymmetricProperty ;
dct:source "https://en.wikipedia.org/wiki/DE-9IM. Based on the seminal works of Egenhofer et al. (1990, 1991), Cohn et al. (1997), Clementini et al. (1993, 1994)."@en ;
rdfs:comment "subject and object regions have at least one point in common, but their interiors do not intersect. The boundary and only the boundary of the subject intersects the boundary of the object spatial region"@en ;
skos:altLabel "patially meet"@en .
### https://w3id.org/gso/common/spatio-temporallyDependsOn
gsoc:spatio-temporallyDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:externallySpecDependsOn ,
gsoc:isSpatiallyRelatedTo ,
gsoc:timeIntersects ;
rdfs:comment "Dependence of an entity on another, requiring overlap (full or partial) in space and time between the entities."@en .
### https://w3id.org/gso/common/specificallyDependsOn
gsoc:specificallyDependsOn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:genericallyDependsOn ;
rdfs:comment "Directed specific ontological dependence in which something depends on something else, excluding self-dependence and other problematic border cases."@en .
### https://w3id.org/gso/common/staticHostedBy
gsoc:staticHostedBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hostedBy ,
gsoc:specificallyDependsOn ;
owl:inverseOf gsoc:staticHosts ;
rdfs:comment "Specifically dependent hosting: the feature could not exist essentially and retain identity without the specific host."@en .
### https://w3id.org/gso/common/staticHosts
gsoc:staticHosts rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:hosts ;
rdfs:comment "Hosting a feature in which the feature is specifically dependent on the hsot."@en .
### https://w3id.org/gso/common/timeContains
gsoc:timeContains rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:timeIncludes ;
owl:inverseOf gsoc:timeDuring ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Time_Interval
[ rdf:type owl:Restriction ;
owl:onProperty gsoc:occupiesTime ;
owl:allValuesFrom gsoc:Time_Interval
]
)
] ;
rdfs:comment "target interval is completely within the source interval; source begins before target and ends after target. inverse of During. Equivalent to union of OWL Time time:intervalContains and time:inside"@en ;
rdfs:label "contains"@en ;
rdfs:seeAlso <time:inside> ,
<time:intervalContains> .
### https://w3id.org/gso/common/timeDisjoint
gsoc:timeDisjoint rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:isTemporallyRelatedTo ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "The union of Allen Before and After; Age intervals of subject and object do not touch or intersect. Corresponds to http://www.w3.org/2006/time#disjoint defined in https://w3c.github.io/sdw/time-entity-relations. owl:propertyDisjointWith gsoc:timeOverlappedBy ; -- axiom causing problems with Hermit reasoner"@en ;
rdfs:seeAlso <time:disjoint> .
### https://w3id.org/gso/common/timeDuring
gsoc:timeDuring rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:timeIncludedBy ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Time_Interval
[ rdf:type owl:Restriction ;
owl:onProperty gsoc:occupiesTime ;
owl:allValuesFrom gsoc:Time_Interval
]
)
] ;
rdfs:comment "Beginning (directly or indirectly) of subject entity is younger than the beginning of the object entity, and the end (directly or indirectly) of the subject entity is older than the end of the object entity. Allen relation. OWL Time time:intervalDuring is narrower, only relates ProperIntervals."@en ;
rdfs:label "during"@en ;
rdfs:seeAlso <time:intervalDuring> .
### https://w3id.org/gso/common/timeEquivalentTo
gsoc:timeEquivalentTo rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:timeIntersects ;
rdf:type owl:SymmetricProperty ;
rdfs:comment "A is equivalent to B if they represent expressions of the same Time_Region. Same as Allen A Equals B. One of six binary relations between geologic events defined by Burns (1975). OWL Time time:intervalEquals is narrower, only relates properIntervals. Constraint is that the domain and range must both either occupy interval or both occupy instant, or both be instants or intervals."@en ;
rdfs:label "equals"@en ;
rdfs:seeAlso <time:intervalEquals> .
### https://w3id.org/gso/common/timeFinishedBy
gsoc:timeFinishedBy rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf gsoc:timeIncludes ;
owl:inverseOf gsoc:timeFinishes ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( gsoc:Time_Interval
[ rdf:type owl:Restriction ;
owl:onProperty gsoc:occupiesTime ;
owl:allValuesFrom gsoc:Time_Interval
]
)
] ;
rdfs:comment "source interval begins before target; source and target end simultaneously; inverse of timeFinishes. OWL time time:intervalFinsishedBy is narrower, only relates proper intervals."@en ;