-
Notifications
You must be signed in to change notification settings - Fork 0
/
timex.rdf
126 lines (74 loc) · 4.85 KB
/
timex.rdf
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
<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#"
xml:base="http://www.semanticweb.org/areich/ontologies/2014/4/timeX"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:skos="http://www.w3.org/2004/02/skos/core#"
xmlns:time="http://www.w3.org/2006/time#"
xmlns:terms="http://purl.org/dc/terms/">
<owl:Ontology rdf:about="http://www.semanticweb.org/areich/ontologies/2014/4/timeX">
<owl:imports rdf:resource="http://www.w3.org/2006/time"/>
</owl:Ontology>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/areich/ontologies/2014/4/timeX#contains -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#contains">
<owl:inverseOf rdf:resource="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#during"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/areich/ontologies/2014/4/timeX#during -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#during">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:domain rdf:resource="http://www.w3.org/2006/time#Interval"/>
<rdfs:range rdf:resource="http://www.w3.org/2006/time#ProperInterval"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantEquals -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantEquals">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
<rdfs:domain rdf:resource="http://www.w3.org/2006/time#Instant"/>
<rdfs:range rdf:resource="http://www.w3.org/2006/time#Instant"/>
<owl:propertyDisjointWith rdf:resource="http://www.w3.org/2006/time#intervalEquals"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantFinishedBy -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantFinishedBy">
<owl:inverseOf rdf:resource="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantFinishes"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantFinishes -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantFinishes">
<rdfs:domain rdf:resource="http://www.w3.org/2006/time#Instant"/>
<rdfs:range rdf:resource="http://www.w3.org/2006/time#ProperInterval"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantStartedBy -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantStartedBy">
<owl:inverseOf rdf:resource="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantStarts"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantStarts -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantStarts">
<rdfs:domain rdf:resource="http://www.w3.org/2006/time#Instant"/>
<rdfs:range rdf:resource="http://www.w3.org/2006/time#ProperInterval"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/2006/time#intervalDuring -->
<rdf:Description rdf:about="http://www.w3.org/2006/time#intervalDuring">
<rdfs:subPropertyOf rdf:resource="http://www.semanticweb.org/areich/ontologies/2014/4/timeX#during"/>
</rdf:Description>
<!-- http://www.w3.org/2006/time#intervalEquals -->
<owl:ObjectProperty rdf:about="http://www.w3.org/2006/time#intervalEquals">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/2006/time#intervalFinishes -->
<owl:ObjectProperty rdf:about="http://www.w3.org/2006/time#intervalFinishes">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
<!-- http://www.w3.org/2006/time#intervalStarts -->
<owl:ObjectProperty rdf:about="http://www.w3.org/2006/time#intervalStarts">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
</owl:ObjectProperty>
</rdf:RDF>
<!-- Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi -->