-
Notifications
You must be signed in to change notification settings - Fork 0
/
timex.ttl
118 lines (54 loc) · 3.09 KB
/
timex.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
@prefix : <http://www.semanticweb.org/areich/ontologies/2014/4/timeX#> .
@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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix time: <http://www.w3.org/2006/time#> .
@base <http://www.semanticweb.org/areich/ontologies/2014/4/timeX> .
<http://www.semanticweb.org/areich/ontologies/2014/4/timeX> rdf:type owl:Ontology ;
owl:imports <http://www.w3.org/2006/time> .
#################################################################
#
# Object Properties
#
#################################################################
### http://www.semanticweb.org/areich/ontologies/2014/4/timeX#contains
:contains rdf:type owl:ObjectProperty ;
owl:inverseOf :during .
### http://www.semanticweb.org/areich/ontologies/2014/4/timeX#during
:during rdf:type owl:ObjectProperty ,
owl:TransitiveProperty ;
rdfs:domain time:Interval ;
rdfs:range time:ProperInterval .
### http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantEquals
:instantEquals rdf:type owl:ObjectProperty ,
owl:SymmetricProperty ;
rdfs:range time:Instant ;
rdfs:domain time:Instant ;
owl:propertyDisjointWith time:intervalEquals .
### http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantFinishedBy
:instantFinishedBy rdf:type owl:ObjectProperty ;
owl:inverseOf :instantFinishes .
### http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantFinishes
:instantFinishes rdf:type owl:ObjectProperty ;
rdfs:domain time:Instant ;
rdfs:range time:ProperInterval .
### http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantStartedBy
:instantStartedBy rdf:type owl:ObjectProperty ;
owl:inverseOf :instantStarts .
### http://www.semanticweb.org/areich/ontologies/2014/4/timeX#instantStarts
:instantStarts rdf:type owl:ObjectProperty ;
rdfs:domain time:Instant ;
rdfs:range time:ProperInterval .
### http://www.w3.org/2006/time#intervalDuring
time:intervalDuring rdfs:subPropertyOf :during .
### http://www.w3.org/2006/time#intervalEquals
time:intervalEquals rdf:type owl:SymmetricProperty .
### http://www.w3.org/2006/time#intervalFinishes
time:intervalFinishes rdf:type owl:ObjectProperty ,
owl:TransitiveProperty .
### http://www.w3.org/2006/time#intervalStarts
time:intervalStarts rdf:type owl:ObjectProperty ,
owl:TransitiveProperty .
### Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net