Project

General

Profile

Statistics
| Branch: | Revision:

cgm / cgm / src / main / ontologies / time.owl @ 3ac2276a

History | View | Annotate | Download (14.4 KB)

1
<?xml version="1.0"?>
2
<rdf:RDF xmlns="http://www8.cs.fau.de/research:cgm/time#"
3
     xml:base="http://www8.cs.fau.de/research:cgm/time"
4
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
5
     xmlns:owl="http://www.w3.org/2002/07/owl#"
6
     xmlns:xml="http://www.w3.org/XML/1998/namespace"
7
     xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
8
     xmlns:swrl="http://www.w3.org/2003/11/swrl#"
9
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
10
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
11
     xmlns:dc="http://purl.org/dc/elements/1.1/"
12
     xmlns:swrla="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#">
13
    <owl:Ontology rdf:about="http://www8.cs.fau.de/research:cgm/time"/>
14
    
15

    
16

    
17
    <!-- 
18
    ///////////////////////////////////////////////////////////////////////////////////////
19
    //
20
    // Annotation properties
21
    //
22
    ///////////////////////////////////////////////////////////////////////////////////////
23
     -->
24

    
25
    
26

    
27

    
28
    <!-- http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled -->
29

    
30
    <owl:AnnotationProperty rdf:about="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
31
    
32

    
33

    
34
    <!-- 
35
    ///////////////////////////////////////////////////////////////////////////////////////
36
    //
37
    // Object Properties
38
    //
39
    ///////////////////////////////////////////////////////////////////////////////////////
40
     -->
41

    
42
    
43

    
44

    
45
    <!-- http://www8.cs.fau.de/research:cgm/time#after -->
46

    
47
    <owl:ObjectProperty rdf:about="http://www8.cs.fau.de/research:cgm/time#after">
48
        <owl:inverseOf rdf:resource="http://www8.cs.fau.de/research:cgm/time#before"/>
49
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
50
        <rdfs:domain rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
51
        <rdfs:range rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
52
    </owl:ObjectProperty>
53
    
54

    
55

    
56
    <!-- http://www8.cs.fau.de/research:cgm/time#before -->
57

    
58
    <owl:ObjectProperty rdf:about="http://www8.cs.fau.de/research:cgm/time#before">
59
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
60
        <rdfs:domain rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
61
        <rdfs:range rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
62
    </owl:ObjectProperty>
63
    
64

    
65

    
66
    <!-- http://www8.cs.fau.de/research:cgm/time#hasSession -->
67

    
68
    <owl:ObjectProperty rdf:about="http://www8.cs.fau.de/research:cgm/time#hasSession">
69
        <rdfs:domain rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
70
        <rdfs:range rdf:resource="http://www8.cs.fau.de/research:cgm/time#Session"/>
71
    </owl:ObjectProperty>
72
    
73

    
74

    
75
    <!-- 
76
    ///////////////////////////////////////////////////////////////////////////////////////
77
    //
78
    // Data properties
79
    //
80
    ///////////////////////////////////////////////////////////////////////////////////////
81
     -->
82

    
83
    
84

    
85

    
86
    <!-- http://www8.cs.fau.de/research:cgm/time#hasBeginning -->
87

    
88
    <owl:DatatypeProperty rdf:about="http://www8.cs.fau.de/research:cgm/time#hasBeginning">
89
        <rdfs:domain rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
90
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
91
    </owl:DatatypeProperty>
92
    
93

    
94

    
95
    <!-- http://www8.cs.fau.de/research:cgm/time#hasDuration -->
96

    
97
    <owl:DatatypeProperty rdf:about="http://www8.cs.fau.de/research:cgm/time#hasDuration">
98
        <rdfs:domain rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
99
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
100
    </owl:DatatypeProperty>
101
    
102

    
103

    
104
    <!-- http://www8.cs.fau.de/research:cgm/time#hasEnd -->
105

    
106
    <owl:DatatypeProperty rdf:about="http://www8.cs.fau.de/research:cgm/time#hasEnd">
107
        <rdfs:domain rdf:resource="http://www8.cs.fau.de/research:cgm/time#CompletedEvent"/>
108
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
109
    </owl:DatatypeProperty>
110
    
111

    
112

    
113
    <!-- 
114
    ///////////////////////////////////////////////////////////////////////////////////////
115
    //
116
    // Classes
117
    //
118
    ///////////////////////////////////////////////////////////////////////////////////////
119
     -->
120

    
121
    
122

    
123

    
124
    <!-- http://www8.cs.fau.de/research:cgm/time#CompletedEvent -->
125

    
126
    <owl:Class rdf:about="http://www8.cs.fau.de/research:cgm/time#CompletedEvent">
127
        <rdfs:subClassOf rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
128
        <owl:disjointWith rdf:resource="http://www8.cs.fau.de/research:cgm/time#CurrentEvent"/>
129
    </owl:Class>
130
    
131

    
132

    
133
    <!-- http://www8.cs.fau.de/research:cgm/time#CurrentEvent -->
134

    
135
    <owl:Class rdf:about="http://www8.cs.fau.de/research:cgm/time#CurrentEvent">
136
        <rdfs:subClassOf rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
137
    </owl:Class>
138
    
139

    
140

    
141
    <!-- http://www8.cs.fau.de/research:cgm/time#Event -->
142

    
143
    <owl:Class rdf:about="http://www8.cs.fau.de/research:cgm/time#Event"/>
144
    
145

    
146

    
147
    <!-- http://www8.cs.fau.de/research:cgm/time#Session -->
148

    
149
    <owl:Class rdf:about="http://www8.cs.fau.de/research:cgm/time#Session">
150
        <rdfs:subClassOf rdf:resource="http://www8.cs.fau.de/research:cgm/time#Event"/>
151
    </owl:Class>
152
    
153

    
154

    
155
    <!-- 
156
    ///////////////////////////////////////////////////////////////////////////////////////
157
    //
158
    // Rules
159
    //
160
    ///////////////////////////////////////////////////////////////////////////////////////
161
     -->
162

    
163
    <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/ev">
164
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
165
    </rdf:Description>
166
    <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/beg">
167
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
168
    </rdf:Description>
169
    <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/end">
170
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
171
    </rdf:Description>
172
    <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/dur">
173
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
174
    </rdf:Description>
175
    <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/time#a">
176
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
177
    </rdf:Description>
178
    <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/time#begA">
179
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
180
    </rdf:Description>
181
    <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/time#b">
182
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
183
    </rdf:Description>
184
    <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/time#begB">
185
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Variable"/>
186
    </rdf:Description>
187
    <rdf:Description>
188
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Imp"/>
189
        <swrl:body>
190
            <rdf:Description>
191
                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
192
                <rdf:first>
193
                    <rdf:Description>
194
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"/>
195
                        <swrl:propertyPredicate rdf:resource="http://www8.cs.fau.de/research:cgm/time#hasBeginning"/>
196
                        <swrl:argument1 rdf:resource="http://www8.cs.fau.de/research:cgm/ev"/>
197
                        <swrl:argument2 rdf:resource="http://www8.cs.fau.de/research:cgm/beg"/>
198
                    </rdf:Description>
199
                </rdf:first>
200
                <rdf:rest>
201
                    <rdf:Description>
202
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
203
                        <rdf:first>
204
                            <rdf:Description>
205
                                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"/>
206
                                <swrl:propertyPredicate rdf:resource="http://www8.cs.fau.de/research:cgm/time#hasEnd"/>
207
                                <swrl:argument1 rdf:resource="http://www8.cs.fau.de/research:cgm/ev"/>
208
                                <swrl:argument2 rdf:resource="http://www8.cs.fau.de/research:cgm/end"/>
209
                            </rdf:Description>
210
                        </rdf:first>
211
                        <rdf:rest>
212
                            <rdf:Description>
213
                                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
214
                                <rdf:first>
215
                                    <rdf:Description>
216
                                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#BuiltinAtom"/>
217
                                        <swrl:builtin rdf:resource="http://www.w3.org/2003/11/swrlb#subtract"/>
218
                                        <swrl:arguments rdf:parseType="Collection">
219
                                            <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/dur"/>
220
                                            <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/end"/>
221
                                            <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/beg"/>
222
                                        </swrl:arguments>
223
                                    </rdf:Description>
224
                                </rdf:first>
225
                                <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
226
                            </rdf:Description>
227
                        </rdf:rest>
228
                    </rdf:Description>
229
                </rdf:rest>
230
            </rdf:Description>
231
        </swrl:body>
232
        <swrl:head>
233
            <rdf:Description>
234
                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
235
                <rdf:first>
236
                    <rdf:Description>
237
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"/>
238
                        <swrl:propertyPredicate rdf:resource="http://www8.cs.fau.de/research:cgm/time#hasDuration"/>
239
                        <swrl:argument1 rdf:resource="http://www8.cs.fau.de/research:cgm/ev"/>
240
                        <swrl:argument2 rdf:resource="http://www8.cs.fau.de/research:cgm/dur"/>
241
                    </rdf:Description>
242
                </rdf:first>
243
                <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
244
            </rdf:Description>
245
        </swrl:head>
246
    </rdf:Description>
247
    <rdf:Description>
248
        <swrla:isRuleEnabled rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</swrla:isRuleEnabled>
249
        <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"></rdfs:comment>
250
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S2</rdfs:label>
251
        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#Imp"/>
252
        <swrl:body>
253
            <rdf:Description>
254
                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
255
                <rdf:first>
256
                    <rdf:Description>
257
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"/>
258
                        <swrl:propertyPredicate rdf:resource="http://www8.cs.fau.de/research:cgm/time#hasBeginning"/>
259
                        <swrl:argument1 rdf:resource="http://www8.cs.fau.de/research:cgm/time#a"/>
260
                        <swrl:argument2 rdf:resource="http://www8.cs.fau.de/research:cgm/time#begA"/>
261
                    </rdf:Description>
262
                </rdf:first>
263
                <rdf:rest>
264
                    <rdf:Description>
265
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
266
                        <rdf:first>
267
                            <rdf:Description>
268
                                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom"/>
269
                                <swrl:propertyPredicate rdf:resource="http://www8.cs.fau.de/research:cgm/time#hasBeginning"/>
270
                                <swrl:argument1 rdf:resource="http://www8.cs.fau.de/research:cgm/time#b"/>
271
                                <swrl:argument2 rdf:resource="http://www8.cs.fau.de/research:cgm/time#begB"/>
272
                            </rdf:Description>
273
                        </rdf:first>
274
                        <rdf:rest>
275
                            <rdf:Description>
276
                                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
277
                                <rdf:first>
278
                                    <rdf:Description>
279
                                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#BuiltinAtom"/>
280
                                        <swrl:builtin rdf:resource="http://www.w3.org/2003/11/swrlb#greaterThan"/>
281
                                        <swrl:arguments rdf:parseType="Collection">
282
                                            <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/time#a"/>
283
                                            <rdf:Description rdf:about="http://www8.cs.fau.de/research:cgm/time#b"/>
284
                                        </swrl:arguments>
285
                                    </rdf:Description>
286
                                </rdf:first>
287
                                <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
288
                            </rdf:Description>
289
                        </rdf:rest>
290
                    </rdf:Description>
291
                </rdf:rest>
292
            </rdf:Description>
293
        </swrl:body>
294
        <swrl:head>
295
            <rdf:Description>
296
                <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#AtomList"/>
297
                <rdf:first>
298
                    <rdf:Description>
299
                        <rdf:type rdf:resource="http://www.w3.org/2003/11/swrl#IndividualPropertyAtom"/>
300
                        <swrl:propertyPredicate rdf:resource="http://www8.cs.fau.de/research:cgm/time#after"/>
301
                        <swrl:argument1 rdf:resource="http://www8.cs.fau.de/research:cgm/time#a"/>
302
                        <swrl:argument2 rdf:resource="http://www8.cs.fau.de/research:cgm/time#b"/>
303
                    </rdf:Description>
304
                </rdf:first>
305
                <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
306
            </rdf:Description>
307
        </swrl:head>
308
    </rdf:Description>
309
</rdf:RDF>
310

    
311

    
312

    
313
<!-- Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi -->
314