-
Notifications
You must be signed in to change notification settings - Fork 81
/
time.ttl
1862 lines (1762 loc) · 103 KB
/
time.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
# baseURI: http://www.w3.org/2006/time
@prefix : <http://www.w3.org/2006/time#> .
@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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<http://www.w3.org/2006/time>
rdf:type owl:Ontology ;
dct:contributor <mailto:chris.little@metoffice.gov.uk> ;
dct:created "2006-09-27"^^xsd:date ;
dct:creator <http://orcid.org/0000-0002-3884-3420> ;
dct:creator <https://en.wikipedia.org/wiki/Jerry_Hobbs> ;
dct:creator <mailto:panfeng66@gmail.com> ;
dct:isVersionOf <http://www.w3.org/TR/owl-time> ;
dct:license <https://creativecommons.org/licenses/by/4.0/> ;
dct:modified "2024-02-29"^^xsd:date ;
dct:rights "Copyright © 2006-2021 W3C, OGC. W3C and OGC liability, trademark and document use rules apply."@en ;
rdfs:label "OWL-Time"@en ;
rdfs:seeAlso <http://dx.doi.org/10.3233/SW-150187> ;
rdfs:seeAlso <http://www.semantic-web-journal.net/content/time-ontology-extended-non-gregorian-calendar-applications> ;
rdfs:seeAlso <http://www.w3.org/TR/owl-time> ;
owl:priorVersion <http://www.w3.org/2006/time#2006> ;
owl:versionIRI <http://www.w3.org/2006/time#2016> ;
skos:changeNote "2016-06-15 - initial update of OWL-Time - modified to support arbitrary temporal reference systems. " ;
skos:changeNote "2016-12-20 - adjust range of time:timeZone to time:TimeZone, moved up from the tzont ontology. " ;
skos:changeNote "2016-12-20 - restore time:Year and time:January which were present in the 2006 version of the ontology, but now marked \"deprecated\". " ;
skos:changeNote "2017-02 - intervalIn, intervalDisjoint, monthOfYear added; TemporalUnit subclass of TemporalDuration" ;
skos:changeNote "2017-04-06 - hasTime, hasXSDDuration added; Number removed; all duration elements changed to xsd:decimal" ;
skos:changeNote "2021-01-27 - clarified definition and label for time:after and time:before" ;
skos:changeNote "2024-02-29 - Fixed datatype on all cardinality restrictions" ;
skos:historyNote """Update of OWL-Time ontology, extended to support general temporal reference systems.
Ontology engineering by Simon J D Cox"""@en ;
.
:DateTimeDescription
rdf:type owl:Class ;
rdfs:comment "Description of date and time structured with separate values for the various elements of a calendar-clock system. The temporal reference system is fixed to Gregorian Calendar, and the range of year, month, day properties restricted to corresponding XML Schema types xsd:gYear, xsd:gMonth and xsd:gDay, respectively."@en ;
rdfs:label "Date-Time description"@en ;
rdfs:subClassOf :GeneralDateTimeDescription ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:gDay ;
owl:onProperty :day ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:gMonth ;
owl:onProperty :month ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:gYear ;
owl:onProperty :year ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:hasValue <http://www.opengis.net/def/uom/ISO-8601/0/Gregorian> ;
owl:onProperty :hasTRS ;
] ;
skos:definition "Description of date and time structured with separate values for the various elements of a calendar-clock system. The temporal reference system is fixed to Gregorian Calendar, and the range of year, month, day properties restricted to corresponding XML Schema types xsd:gYear, xsd:gMonth and xsd:gDay, respectively."@en ;
.
:DateTimeInterval
rdf:type owl:Class ;
rdfs:comment "DateTimeInterval is a subclass of ProperInterval, defined using the multi-element DateTimeDescription."@en ;
rdfs:label "Date-time interval"@en ;
rdfs:subClassOf :ProperInterval ;
skos:definition "DateTimeInterval is a subclass of ProperInterval, defined using the multi-element DateTimeDescription."@en ;
skos:note ":DateTimeInterval can only be used for an interval whose limits coincide with a date-time element aligned to the calendar and timezone indicated. For example, while both have a duration of one day, the 24-hour interval beginning at midnight at the beginning of 8 May in Central Europe can be expressed as a :DateTimeInterval, but the 24-hour interval starting at 1:30pm cannot."@en ;
.
:DayOfWeek
rdf:type owl:Class ;
rdfs:comment "The day of week"@en ;
rdfs:label "Day of week"@en ;
rdfs:subClassOf owl:Thing ;
skos:changeNote """Remove enumeration from definition, in order to allow other days to be used when required in other calendars.
NOTE: existing days are still present as members of the class, but the class membership is now open.
In the original OWL-Time the following constraint appeared:
owl:oneOf (
time:Monday
time:Tuesday
time:Wednesday
time:Thursday
time:Friday
time:Saturday
time:Sunday
) ;"""@en ;
skos:definition "The day of week"@en ;
skos:note "Membership of the class :DayOfWeek is open, to allow for alternative week lengths and different day names."@en ;
.
:Duration
rdf:type owl:Class ;
rdfs:comment "Duration of a temporal extent expressed as a number scaled by a temporal unit"@en ;
rdfs:label "Time duration"@en ;
rdfs:subClassOf :TemporalDuration ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :numericDuration ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :unitType ;
] ;
skos:definition "Duration of a temporal extent expressed as a number scaled by a temporal unit"@en ;
skos:note "Alternative to time:DurationDescription to support description of a temporal duration other than using a calendar/clock system."@en ;
.
:DurationDescription
rdf:type owl:Class ;
rdfs:comment "Description of temporal extent structured with separate values for the various elements of a calendar-clock system. The temporal reference system is fixed to Gregorian Calendar, and the range of each of the numeric properties is restricted to xsd:decimal"@en ;
rdfs:label "Duration description"@en ;
rdfs:subClassOf :GeneralDurationDescription ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:decimal ;
owl:onProperty :days ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:decimal ;
owl:onProperty :hours ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:decimal ;
owl:onProperty :minutes ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:decimal ;
owl:onProperty :months ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:decimal ;
owl:onProperty :seconds ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:decimal ;
owl:onProperty :weeks ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:allValuesFrom xsd:decimal ;
owl:onProperty :years ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:hasValue <http://www.opengis.net/def/uom/ISO-8601/0/Gregorian> ;
owl:onProperty :hasTRS ;
] ;
skos:definition "Description of temporal extent structured with separate values for the various elements of a calendar-clock system. The temporal reference system is fixed to Gregorian Calendar, and the range of each of the numeric properties is restricted to xsd:decimal"@en ;
skos:note "In the Gregorian calendar the length of the month is not fixed. Therefore, a value like \"2.5 months\" cannot be exactly compared with a similar duration expressed in terms of weeks or days."@en ;
.
:Friday
rdf:type :DayOfWeek ;
rdfs:label "Friday"@en ;
skos:prefLabel "Freitag"@de ;
skos:prefLabel "Friday"@en ;
skos:prefLabel "Piątek"@pl ;
skos:prefLabel "Sexta-feira"@pt ;
skos:prefLabel "Vendredi"@fr ;
skos:prefLabel "Venerdì"@it ;
skos:prefLabel "Viernes"@es ;
skos:prefLabel "Vrijdag"@nl ;
skos:prefLabel "Пятница"@ru ;
skos:prefLabel "الجمعة"@ar ;
skos:prefLabel "星期五"@zh ;
skos:prefLabel "金曜日"@ja ;
.
:GeneralDateTimeDescription
rdf:type owl:Class ;
rdfs:comment "Description of date and time structured with separate values for the various elements of a calendar-clock system"@en ;
rdfs:label "Generalized date-time description"@en ;
rdfs:subClassOf :TemporalPosition ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :unitType ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :day ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :dayOfWeek ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :dayOfYear ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :hour ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :minute ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :month ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :monthOfYear ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :second ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :timeZone ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :week ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :year ;
] ;
skos:definition "Description of date and time structured with separate values for the various elements of a calendar-clock system"@en ;
skos:note "Some combinations of properties are redundant - for example, within a specified :year if :dayOfYear is provided then :day and :month can be computed, and vice versa. Individual values should be consistent with each other and the calendar, indicated through the value of the :hasTRS property." ;
.
:GeneralDurationDescription
rdf:type owl:Class ;
rdfs:comment "Description of temporal extent structured with separate values for the various elements of a calendar-clock system."@en ;
rdfs:label "Generalized duration description"@en ;
rdfs:subClassOf :TemporalDuration ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :hasTRS ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :days ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :hours ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :minutes ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :months ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :seconds ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :weeks ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :years ;
] ;
skos:definition "Description of temporal extent structured with separate values for the various elements of a calendar-clock system."@en ;
skos:note "The extent of a time duration expressed as a GeneralDurationDescription depends on the Temporal Reference System. In some calendars the length of the week or month is not constant within the year. Therefore, a value like \"2.5 months\" may not necessarily be exactly compared with a similar duration expressed in terms of weeks or days. When non-earth-based calendars are considered even more care must be taken in comparing durations."@en ;
.
:Instant
rdf:type owl:Class ;
rdfs:comment "A temporal entity with zero extent or duration"@en ;
rdfs:label "Time instant"@en ;
rdfs:subClassOf :TemporalEntity ;
skos:definition "A temporal entity with zero extent or duration"@en ;
.
:Interval
rdf:type owl:Class ;
rdfs:comment "A temporal entity with an extent or duration"@en ;
rdfs:label "Time interval"@en ;
rdfs:subClassOf :TemporalEntity ;
skos:definition "A temporal entity with an extent or duration"@en ;
.
:January
rdf:type owl:Class ;
rdf:type owl:DeprecatedClass ;
rdfs:label "January" ;
rdfs:subClassOf :DateTimeDescription ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:hasValue :unitMonth ;
owl:onProperty :unitType ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:hasValue "--01" ;
owl:onProperty :month ;
] ;
owl:deprecated "true"^^xsd:boolean ;
skos:historyNote "This class was present in the 2006 version of OWL-Time. It was presented as an example of how DateTimeDescription could be specialized, but does not belong in the revised ontology. " ;
.
:Monday
rdf:type :DayOfWeek ;
rdfs:label "Monday"@en ;
skos:prefLabel "Lundi"@fr ;
skos:prefLabel "Lunedì"@it ;
skos:prefLabel "Lunes"@es ;
skos:prefLabel "Maandag"@nl ;
skos:prefLabel "Monday"@en ;
skos:prefLabel "Montag"@de ;
skos:prefLabel "Poniedziałek"@pl ;
skos:prefLabel "Segunda-feira"@pt ;
skos:prefLabel "Понедельник"@ru ;
skos:prefLabel "الاثنين"@ar ;
skos:prefLabel "星期一"@zh ;
skos:prefLabel "月曜日"@ja ;
.
:MonthOfYear
rdf:type owl:Class ;
rdfs:comment "The month of the year"@en ;
rdfs:label "Month of year"@en ;
rdfs:subClassOf :DateTimeDescription ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :day ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :hour ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :minute ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :second ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :week ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :year ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :month ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:hasValue :unitMonth ;
owl:onProperty :unitType ;
] ;
skos:definition "The month of the year"@en ;
skos:editorialNote "Feature at risk - added in 2017 revision, and not yet widely used. "@en ;
skos:note "Membership of the class :MonthOfYear is open, to allow for alternative annual calendars and different month names."@en ;
.
:ProperInterval
rdf:type owl:Class ;
rdfs:comment "A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different"@en ;
rdfs:label "Proper interval"@en ;
rdfs:subClassOf :Interval ;
owl:disjointWith :Instant ;
skos:definition "A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different"@en ;
.
:Saturday
rdf:type :DayOfWeek ;
rdfs:label "Saturday"@en ;
skos:prefLabel "Sabato"@it ;
skos:prefLabel "Samedi"@fr ;
skos:prefLabel "Samstag"@de ;
skos:prefLabel "Saturday"@en ;
skos:prefLabel "Sobota"@pl ;
skos:prefLabel "Sábado"@es ;
skos:prefLabel "Sábado"@pt ;
skos:prefLabel "Zaterdag"@nl ;
skos:prefLabel "Суббота"@ru ;
skos:prefLabel "السبت"@ar ;
skos:prefLabel "土曜日"@ja ;
skos:prefLabel "星期六"@zh ;
.
:Sunday
rdf:type :DayOfWeek ;
rdfs:label "Sunday"@en ;
skos:prefLabel "Dimanche"@fr ;
skos:prefLabel "Domenica"@it ;
skos:prefLabel "Domingo"@es ;
skos:prefLabel "Domingo"@pt ;
skos:prefLabel "Niedziela"@pl ;
skos:prefLabel "Sonntag"@de ;
skos:prefLabel "Sunday"@en ;
skos:prefLabel "Zondag"@nl ;
skos:prefLabel "Воскресенье"@ru ;
skos:prefLabel "الأحد (يوم)"@ar ;
skos:prefLabel "日曜日"@ja ;
skos:prefLabel "星期日"@zh ;
.
:TRS
rdf:type owl:Class ;
rdfs:comment """A temporal reference system, such as a temporal coordinate system (with an origin, direction, and scale), a calendar-clock combination, or a (possibly hierarchical) ordinal system.
This is a stub class, representing the set of all temporal reference systems."""@en ;
rdfs:label "Temporal Reference System"@en ;
skos:definition """A temporal reference system, such as a temporal coordinate system (with an origin, direction, and scale), a calendar-clock combination, or a (possibly hierarchical) ordinal system.
This is a stub class, representing the set of all temporal reference systems."""@en ;
skos:note "A taxonomy of temporal reference systems is provided in ISO 19108:2002 [ISO19108], including (a) calendar + clock systems; (b) temporal coordinate systems (i.e. numeric offset from an epoch); (c) temporal ordinal reference systems (i.e. ordered sequence of named intervals, not necessarily of equal duration)."@en ;
.
:TemporalDuration
rdf:type owl:Class ;
rdfs:comment "Time extent; duration of a time interval separate from its particular start position"@en ;
rdfs:label "Temporal duration"@en ;
skos:definition "Time extent; duration of a time interval separate from its particular start position"@en ;
.
:TemporalEntity
rdf:type owl:Class ;
rdfs:comment "A temporal interval or instant."@en ;
rdfs:label "Temporal entity"@en ;
rdfs:subClassOf owl:Thing ;
owl:unionOf (
:Instant
:Interval
) ;
skos:definition "A temporal interval or instant."@en ;
.
:TemporalPosition
rdf:type owl:Class ;
rdfs:comment "A position on a time-line"@en ;
rdfs:label "Temporal position"@en ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :hasTRS ;
] ;
skos:definition "A position on a time-line"@en ;
.
:TemporalUnit
rdf:type owl:Class ;
rdfs:comment "A standard duration, which provides a scale factor for a time extent, or the granularity or precision for a time position."@en ;
rdfs:label "Temporal unit"@en ;
rdfs:subClassOf :TemporalDuration ;
skos:changeNote """Remove enumeration from definition, in order to allow other units to be used when required in other coordinate systems.
NOTE: existing units are still present as members of the class, but the class membership is now open.
In the original OWL-Time the following constraint appeared:
owl:oneOf (
time:unitSecond
time:unitMinute
time:unitHour
time:unitDay
time:unitWeek
time:unitMonth
time:unitYear
) ;"""@en ;
skos:definition "A standard duration, which provides a scale factor for a time extent, or the granularity or precision for a time position."@en ;
skos:note "Membership of the class TemporalUnit is open, to allow for other temporal units used in some technical applications (e.g. millions of years, Baha'i month)."@en ;
.
:Thursday
rdf:type :DayOfWeek ;
rdfs:label "Thursday"@en ;
skos:prefLabel "Czwartek"@pl ;
skos:prefLabel "Donderdag"@nl ;
skos:prefLabel "Donnerstag"@de ;
skos:prefLabel "Giovedì"@it ;
skos:prefLabel "Jeudi"@fr ;
skos:prefLabel "Jueves"@es ;
skos:prefLabel "Quinta-feira"@pt ;
skos:prefLabel "Thursday"@en ;
skos:prefLabel "Четверг"@ru ;
skos:prefLabel "الخميس"@ar ;
skos:prefLabel "星期四"@zh ;
skos:prefLabel "木曜日"@ja ;
.
:TimePosition
rdf:type owl:Class ;
rdfs:comment "A temporal position described using either a (nominal) value from an ordinal reference system, or a (numeric) value in a temporal coordinate system. "@en ;
rdfs:label "Time position"@en ;
rdfs:subClassOf :TemporalPosition ;
rdfs:subClassOf [
rdf:type owl:Class ;
owl:unionOf (
[
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :numericPosition ;
]
[
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :nominalPosition ;
]
) ;
] ;
skos:definition "A temporal position described using either a (nominal) value from an ordinal reference system, or a (numeric) value in a temporal coordinate system. "@en ;
.
:TimeZone
rdf:type owl:Class ;
rdfs:comment """A Time Zone specifies the amount by which the local time is offset from UTC.
A time zone is usually denoted geographically (e.g. Australian Eastern Daylight Time), with a constant value in a given region.
The region where it applies and the offset from UTC are specified by a locally recognised governing authority."""@en ;
rdfs:label "Time Zone"@en ;
skos:definition """A Time Zone specifies the amount by which the local time is offset from UTC.
A time zone is usually denoted geographically (e.g. Australian Eastern Daylight Time), with a constant value in a given region.
The region where it applies and the offset from UTC are specified by a locally recognised governing authority."""@en ;
skos:historyNote """In the original 2006 version of OWL-Time, the TimeZone class, with several properties corresponding to a specific model of time-zones, was defined in a separate namespace \"http://www.w3.org/2006/timezone#\".
In the current version a class with same local name is put into the main OWL-Time namespace, removing the dependency on the external namespace.
An alignment axiom
tzont:TimeZone rdfs:subClassOf time:TimeZone .
allows data encoded according to the previous version to be consistent with the updated ontology. """ ;
skos:note """A designated timezone is associated with a geographic region. However, for a particular region the offset from UTC often varies seasonally, and the dates of the changes may vary from year to year. The timezone designation usually changes for the different seasons (e.g. Australian Eastern Standard Time vs. Australian Eastern Daylight Time). Furthermore, the offset for a timezone may change over longer timescales, though its designation might not.
Detailed guidance about working with time zones is given in http://www.w3.org/TR/timezone/ ."""@en ;
skos:note "An ontology for time zone descriptions was described in [owl-time-20060927] and provided as RDF in a separate namespace tzont:. However, that ontology was incomplete in scope, and the example datasets were selective. Furthermore, since the use of a class from an external ontology as the range of an ObjectProperty in OWL-Time creates a dependency, reference to the time zone class has been replaced with the 'stub' class in the normative part of this version of OWL-Time."@en ;
skos:scopeNote "In this implementation TimeZone has no properties defined. It should be thought of as an 'abstract' superclass of all specific timezone implementations." ;
.
:Tuesday
rdf:type :DayOfWeek ;
rdfs:label "Tuesday"@en ;
skos:prefLabel "Dienstag"@de ;
skos:prefLabel "Dinsdag"@nl ;
skos:prefLabel "Mardi"@fr ;
skos:prefLabel "Martedì"@it ;
skos:prefLabel "Martes"@es ;
skos:prefLabel "Terça-feira"@pt ;
skos:prefLabel "Tuesday"@en ;
skos:prefLabel "Wtorek"@pl ;
skos:prefLabel "Вторник"@ru ;
skos:prefLabel "الثلاثاء"@ar ;
skos:prefLabel "星期二"@zh ;
skos:prefLabel "火曜日"@ja ;
.
:Wednesday
rdf:type :DayOfWeek ;
rdfs:label "Wednesday"@en ;
skos:prefLabel "Mercoledì"@it ;
skos:prefLabel "Mercredi"@fr ;
skos:prefLabel "Mittwoch"@de ;
skos:prefLabel "Miércoles"@es ;
skos:prefLabel "Quarta-feira"@pt ;
skos:prefLabel "Wednesday"@en ;
skos:prefLabel "Woensdag"@nl ;
skos:prefLabel "Środa"@pl ;
skos:prefLabel "Среда"@ru ;
skos:prefLabel "الأربعاء"@ar ;
skos:prefLabel "星期三"@zh ;
skos:prefLabel "水曜日"@ja ;
.
:Year
rdf:type owl:Class ;
rdf:type owl:DeprecatedClass ;
rdfs:comment "Year duration" ;
rdfs:label "Year"@en ;
rdfs:subClassOf :DurationDescription ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :days ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :hours ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :minutes ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :months ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :seconds ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "0"^^xsd:nonNegativeInteger ;
owl:onProperty :weeks ;
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:cardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty :years ;
] ;
owl:deprecated "true"^^xsd:boolean ;
skos:definition "Year duration" ;
skos:historyNote """Year was proposed in the 2006 version of OWL-Time as an example of how DurationDescription could be specialized to allow for a duration to be restricted to a number of years.
It is deprecated in this edition of OWL-Time. """ ;
skos:prefLabel "Anno"@it ;
skos:prefLabel "Année (calendrier)"@fr ;
skos:prefLabel "Ano"@pt ;
skos:prefLabel "Año"@es ;
skos:prefLabel "Jaar"@nl ;
skos:prefLabel "Jahr"@de ;
skos:prefLabel "Rok"@pl ;
skos:prefLabel "Year"@en ;
skos:prefLabel "Год"@ru ;
skos:prefLabel "سنة"@ar ;
skos:prefLabel "年"@ja ;
skos:prefLabel "年"@zh ;
.
:after
rdf:type owl:ObjectProperty ;
rdfs:comment "The subject is a temporal entity that occurs after the object. If a temporal entity T1 is after another temporal entity T2, then the beginning of T1 is after the end of T2."@en ;
rdfs:domain :TemporalEntity ;
rdfs:label "is after"@en ;
rdfs:range :TemporalEntity ;
owl:inverseOf :before ;
skos:definition "Asume una dirección en el tiempo. Si una entidad temporal T1 está después de otra entidad temporal T2, entonces el principio de T1 está después del final de T2."@es ;
skos:definition "Gives directionality to time. If a temporal entity T1 is after another temporal entity T2, then the beginning of T1 is after the end of T2."@en ;
.
:before
rdf:type owl:ObjectProperty ;
rdf:type owl:TransitiveProperty ;
rdfs:comment "The subject is a temporal entity that occurs before the object. If a temporal entity T1 is before another temporal entity T2, then the end of T1 is before the beginning of T2. Thus, \"before\" can be considered to be basic to instants and derived for intervals."@en ;
rdfs:domain :TemporalEntity ;
rdfs:label "is before"@en ;
rdfs:range :TemporalEntity ;
owl:inverseOf :after ;
skos:definition "Gives directionality to time. If a temporal entity T1 is before another temporal entity T2, then the end of T1 is before the beginning of T2. Thus, \"before\" can be considered to be basic to instants and derived for intervals."@en ;
.
:day
rdf:type owl:DatatypeProperty ;
rdfs:comment """Day position in a calendar-clock system.
The range of this property is not specified, so can be replaced by any specific representation of a calendar day from any calendar. """@en ;
rdfs:domain :GeneralDateTimeDescription ;
rdfs:label "day"@en ;
skos:definition """Day position in a calendar-clock system.
The range of this property is not specified, so can be replaced by any specific representation of a calendar day from any calendar. """@en ;
.
:dayOfWeek
rdf:type owl:ObjectProperty ;
rdfs:comment "The day of week, whose value is a member of the class time:DayOfWeek"@en ;
rdfs:domain :GeneralDateTimeDescription ;
rdfs:label "day of week"@en ;
rdfs:range :DayOfWeek ;
skos:definition "The day of week, whose value is a member of the class time:DayOfWeek"@en ;
.
:dayOfYear
rdf:type owl:DatatypeProperty ;
rdfs:comment "The number of the day within the year"@en ;
rdfs:domain :GeneralDateTimeDescription ;
rdfs:label "day of year"@en ;
rdfs:range xsd:nonNegativeInteger ;
skos:definition "The number of the day within the year"@en ;
.
:days
rdf:type owl:DatatypeProperty ;
rdfs:comment "length of, or element of the length of, a temporal extent expressed in days"@en ;
rdfs:domain :GeneralDurationDescription ;
rdfs:label "days duration"@en ;
rdfs:range xsd:decimal ;
skos:definition "length of, or element of the length of, a temporal extent expressed in days"@en ;
.
:generalDay
rdf:type rdfs:Datatype ;
rdfs:comment """Day of month - formulated as a text string with a pattern constraint to reproduce the same lexical form as gDay, except that values up to 99 are permitted, in order to support calendars with more than 31 days in a month.
Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type."""@en ;
rdfs:label "Generalized day"@en ;
owl:onDatatype xsd:string ;
owl:withRestrictions (
[
xsd:pattern "---(0[1-9]|[1-9][0-9])(Z|(\\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00))?" ;
]
) ;
skos:definition """Day of month - formulated as a text string with a pattern constraint to reproduce the same lexical form as gDay, except that values up to 99 are permitted, in order to support calendars with more than 31 days in a month.
Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type."""@en ;
.
:generalMonth
rdf:type rdfs:Datatype ;
rdfs:comment """Month of year - formulated as a text string with a pattern constraint to reproduce the same lexical form as gMonth, except that values up to 20 are permitted, in order to support calendars with more than 12 months in the year.
Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type."""@en ;
rdfs:label "Generalized month"@en ;
owl:onDatatype xsd:string ;
owl:withRestrictions (
[
xsd:pattern "--(0[1-9]|1[0-9]|20)(Z|(\\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00))?" ;
]
) ;
skos:definition """Month of year - formulated as a text string with a pattern constraint to reproduce the same lexical form as gMonth, except that values up to 20 are permitted, in order to support calendars with more than 12 months in the year.
Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type."""@en ;
.
:generalYear
rdf:type rdfs:Datatype ;
rdfs:comment """Year number - formulated as a text string with a pattern constraint to reproduce the same lexical form as gYear, but not restricted to values from the Gregorian calendar.
Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type."""@en ;
rdfs:label "Generalized year"@en ;
owl:onDatatype xsd:string ;
owl:withRestrictions (
[
xsd:pattern "-?([1-9][0-9]{3,}|0[0-9]{3})(Z|(\\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00))?" ;
]
) ;
skos:definition """Year number - formulated as a text string with a pattern constraint to reproduce the same lexical form as gYear, but not restricted to values from the Gregorian calendar.
Note that the value-space is not defined, so a generic OWL2 processor cannot compute ordering relationships of values of this type."""@en ;
.
:hasBeginning
rdf:type owl:ObjectProperty ;
rdfs:comment "Beginning of a temporal entity"@en ;
rdfs:domain :TemporalEntity ;
rdfs:label "has beginning"@en ;
rdfs:range :Instant ;
rdfs:subPropertyOf :hasTime ;
skos:definition "Beginning of a temporal entity."@en ;
.
:hasDateTimeDescription
rdf:type owl:ObjectProperty ;
rdfs:comment "Value of DateTimeInterval expressed as a structured value. The beginning and end of the interval coincide with the limits of the shortest element in the description."@en ;
rdfs:domain :DateTimeInterval ;
rdfs:label "has Date-Time description"@en ;
rdfs:range :GeneralDateTimeDescription ;
skos:definition "Value of DateTimeInterval expressed as a structured value. The beginning and end of the interval coincide with the limits of the shortest element in the description."@en ;
.
:hasDuration
rdf:type owl:ObjectProperty ;
rdfs:comment "Duration of a temporal entity, expressed as a scaled value or nominal value"@en ;
rdfs:label "has duration"@en ;
rdfs:range :Duration ;
rdfs:subPropertyOf :hasTemporalDuration ;
skos:definition "Duration of a temporal entity, event or activity, or thing, expressed as a scaled value"@en ;
.
:hasDurationDescription
rdf:type owl:ObjectProperty ;
rdfs:comment "Duration of a temporal entity, expressed using a structured description"@en ;
rdfs:label "has duration description"@en ;
rdfs:range :GeneralDurationDescription ;
rdfs:subPropertyOf :hasTemporalDuration ;
skos:definition "Duration of a temporal entity, expressed using a structured description"@en ;
.
:hasEnd
rdf:type owl:ObjectProperty ;
rdfs:comment "End of a temporal entity."@en ;
rdfs:domain :TemporalEntity ;
rdfs:label "has end"@en ;
rdfs:range :Instant ;
rdfs:subPropertyOf :hasTime ;
skos:definition "End of a temporal entity."@en ;
.
:hasTRS
rdf:type owl:FunctionalProperty ;
rdf:type owl:ObjectProperty ;
rdfs:comment "The temporal reference system used by a temporal position or extent description. "@en ;
rdfs:domain [
rdf:type owl:Class ;
owl:unionOf (
:TemporalPosition
:GeneralDurationDescription
) ;
] ;
rdfs:label "Temporal reference system used"@en ;
rdfs:range :TRS ;
skos:definition "The temporal reference system used by a temporal position or extent description. "@en ;
.
:hasTemporalDuration
rdf:type owl:ObjectProperty ;
rdfs:comment "Duration of a temporal entity."@en ;
rdfs:domain :TemporalEntity ;
rdfs:label "has temporal duration"@en ;
rdfs:range :TemporalDuration ;
skos:definition "Duration of a temporal entity."@en ;
.
:hasTime
rdf:type owl:ObjectProperty ;
rdfs:comment "Supports the association of a temporal entity (instant or interval) to any thing"@en ;
rdfs:label "has time"@en ;
rdfs:range :TemporalEntity ;
skos:definition "Supports the association of a temporal entity (instant or interval) to any thing"@en ;
skos:editorialNote "Feature at risk - added in 2017 revision, and not yet widely used. "@en ;
.
:hasXSDDuration
rdf:type owl:DatatypeProperty ;
rdfs:comment "Extent of a temporal entity, expressed using xsd:duration"@en ;
rdfs:domain :TemporalEntity ;
rdfs:label "has XSD duration"@en ;
rdfs:range xsd:duration ;
skos:definition "Extent of a temporal entity, expressed using xsd:duration"@en ;
skos:editorialNote "Feature at risk - added in 2017 revision, and not yet widely used. "@en ;
.
:hour
rdf:type owl:DatatypeProperty ;
rdfs:comment "Hour position in a calendar-clock system."@en ;
rdfs:domain :GeneralDateTimeDescription ;
rdfs:label "hour"@en ;
rdfs:range xsd:nonNegativeInteger ;
skos:definition "Hour position in a calendar-clock system."@en ;
.
:hours
rdf:type owl:DatatypeProperty ;
rdfs:comment "length of, or element of the length of, a temporal extent expressed in hours"@en ;
rdfs:domain :GeneralDurationDescription ;
rdfs:label "hours duration"@en ;
rdfs:range xsd:decimal ;
skos:definition "length of, or element of the length of, a temporal extent expressed in hours"@en ;
.
:inDateTime
rdf:type owl:ObjectProperty ;
rdfs:comment "Position of an instant, expressed using a structured description"@en ;
rdfs:domain :Instant ;
rdfs:label "in date-time description"@en ;
rdfs:range :GeneralDateTimeDescription ;
rdfs:subPropertyOf :inTemporalPosition ;
skos:definition "Position of an instant, expressed using a structured description"@en ;
.
:inTemporalPosition
rdf:type owl:ObjectProperty ;
rdfs:comment "Position of a time instant"@en ;
rdfs:domain :Instant ;
rdfs:label "Temporal position"@en ;
rdfs:range :TemporalPosition ;
skos:definition "Position of a time instant"@en ;
.
:inTimePosition
rdf:type owl:ObjectProperty ;
rdfs:comment "Position of an instant, expressed as a temporal coordinate or nominal value"@en ;
rdfs:domain :Instant ;
rdfs:label "Time position"@en ;
rdfs:range :TimePosition ;
rdfs:subPropertyOf :inTemporalPosition ;
skos:definition "Position of a time instant expressed as a TimePosition"@en ;
.
:inXSDDate
rdf:type owl:DatatypeProperty ;
rdfs:comment "Position of an instant, expressed using xsd:date"@en ;
rdfs:domain :Instant ;
rdfs:label "in XSD date"@en ;
rdfs:range xsd:date ;
skos:definition "Position of an instant, expressed using xsd:date"@en ;
.
:inXSDDateTime
rdf:type owl:DatatypeProperty ;
rdf:type owl:DeprecatedProperty ;
rdfs:comment "Position of an instant, expressed using xsd:dateTime"@en ;
rdfs:domain :Instant ;
rdfs:label "in XSD Date-Time"@en ;
rdfs:range xsd:dateTime ;
owl:deprecated "true"^^xsd:boolean ;
skos:definition "Position of an instant, expressed using xsd:dateTime"@en ;
skos:note "The property :inXSDDateTime is replaced by :inXSDDateTimeStamp which makes the time-zone field mandatory."@en ;
.
:inXSDDateTimeStamp
rdf:type owl:DatatypeProperty ;
rdfs:comment "Position of an instant, expressed using xsd:dateTimeStamp"@en ;
rdfs:domain :Instant ;
rdfs:label "in XSD Date-Time-Stamp"@en ;
rdfs:range xsd:dateTimeStamp ;
skos:definition "Position of an instant, expressed using xsd:dateTimeStamp"@en ;
.
:inXSDgYear
rdf:type owl:DatatypeProperty ;
rdfs:comment "Position of an instant, expressed using xsd:gYear"@en ;
rdfs:domain :Instant ;
rdfs:label "in XSD g-Year"@en ;
rdfs:range xsd:gYear ;
skos:definition "Position of an instant, expressed using xsd:gYear"@en ;
.
:inXSDgYearMonth
rdf:type owl:DatatypeProperty ;
rdfs:comment "Position of an instant, expressed using xsd:gYearMonth"@en ;
rdfs:domain :Instant ;
rdfs:label "in XSD g-YearMonth"@en ;
rdfs:range xsd:gYearMonth ;
skos:definition "Position of an instant, expressed using xsd:gYearMonth"@en ;
.
:inside
rdf:type owl:ObjectProperty ;
rdfs:comment "An instant that falls inside the interval. It is not intended to include beginnings and ends of intervals."@en ;
rdfs:domain :Interval ;
rdfs:label "has time instant inside"@en ;
rdfs:range :Instant ;
skos:definition "An instant that falls inside the interval. It is not intended to include beginnings and ends of intervals."@en ;
.
:intervalAfter
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval after"@en ;
rdfs:range :ProperInterval ;
rdfs:subPropertyOf :after ;
rdfs:subPropertyOf :intervalDisjoint ;
owl:inverseOf :intervalBefore ;
skos:definition "If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2."@en ;
.
:intervalBefore
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval before"@en ;
rdfs:range :ProperInterval ;
rdfs:subPropertyOf :before ;
rdfs:subPropertyOf :intervalDisjoint ;
owl:inverseOf :intervalAfter ;
skos:definition "If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2."@en ;
.
:intervalContains
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalContains another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after the end of T2."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval contains"@en ;
rdfs:range :ProperInterval ;
owl:inverseOf :intervalDuring ;
skos:definition "If a proper interval T1 is intervalContains another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after the end of T2."@en ;
.
:intervalDisjoint
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalDisjoint another proper interval T2, then the beginning of T1 is after the end of T2, or the end of T1 is before the beginning of T2, i.e. the intervals do not overlap in any way, but their ordering relationship is not known."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval disjoint"@en ;
rdfs:range :ProperInterval ;
skos:definition "If a proper interval T1 is intervalDisjoint another proper interval T2, then the beginning of T1 is after the end of T2, or the end of T1 is before the beginning of T2, i.e. the intervals do not overlap in any way, but their ordering relationship is not known."@en ;
skos:note "This interval relation is not included in the 13 basic relationships defined in Allen (1984), but is defined in (T.3) as the union of :intervalBefore v :intervalAfter . However, that is outside OWL2 expressivity, so is implemented as an explicit property, with :intervalBefore , :intervalAfter as sub-properties"@en ;
.
:intervalDuring
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalDuring another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before the end of T2."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval during"@en ;
rdfs:range :ProperInterval ;
rdfs:subPropertyOf :intervalIn ;
owl:inverseOf :intervalContains ;
skos:definition "If a proper interval T1 is intervalDuring another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before the end of T2."@en ;
.
:intervalEquals
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval equals"@en ;
rdfs:range :ProperInterval ;
owl:propertyDisjointWith :intervalIn ;
skos:definition "If a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2."@en ;
.
:intervalFinishedBy
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalFinishedBy another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is coincident with the end of T2."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval finished by"@en ;
rdfs:range :ProperInterval ;
owl:inverseOf :intervalFinishes ;
skos:definition "If a proper interval T1 is intervalFinishedBy another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is coincident with the end of T2."@en ;
.
:intervalFinishes
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalFinishes another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is coincident with the end of T2."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval finishes"@en ;
rdfs:range :ProperInterval ;
rdfs:subPropertyOf :intervalIn ;
owl:inverseOf :intervalFinishedBy ;
skos:definition "If a proper interval T1 is intervalFinishes another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is coincident with the end of T2."@en ;
.
:intervalIn
rdf:type owl:ObjectProperty ;
rdfs:comment "If a proper interval T1 is intervalIn another proper interval T2, then the beginning of T1 is after the beginning of T2 or is coincident with the beginning of T2, and the end of T1 is before the end of T2, or is coincident with the end of T2, except that end of T1 may not be coincident with the end of T2 if the beginning of T1 is coincident with the beginning of T2."@en ;
rdfs:domain :ProperInterval ;
rdfs:label "interval in"@en ;
rdfs:range :ProperInterval ;
owl:propertyDisjointWith :intervalEquals ;
skos:definition "If a proper interval T1 is intervalIn another proper interval T2, then the beginning of T1 is after the beginning of T2 or is coincident with the beginning of T2, and the end of T1 is before the end of T2, or is coincident with the end of T2, except that end of T1 may not be coincident with the end of T2 if the beginning of T1 is coincident with the beginning of T2."@en ;
skos:note "This interval relation is not included in the 13 basic relationships defined in Allen (1984), but is referred to as 'an important relationship' in Allen and Ferguson (1997). It is the disjoint union of :intervalStarts v :intervalDuring v :intervalFinishes . However, that is outside OWL2 expressivity, so is implemented as an explicit property, with :intervalStarts , :intervalDuring , :intervalFinishes as sub-properties"@en ;
.