-
Notifications
You must be signed in to change notification settings - Fork 44
Expand file tree
/
Copy pathtime.owl
More file actions
135 lines (133 loc) · 12.2 KB
/
time.owl
File metadata and controls
135 lines (133 loc) · 12.2 KB
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
<?xml version="1.0" encoding="utf-8"?>
<rdf:RDF
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:dct="http://purl.org/dc/terms/"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
>
<owl:Ontology rdf:about="http://www.estrellaproject.org/lkif-core/time.owl">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">An ontology of time based on "Actions and Events in Interval Logc" by James F. Allen and George Ferguson, 1994. This ontology is similar to the W3C best practices OWL-Time ontology draft of 18 May 2006 by Jerry R. Hobbs and Feng Pan (http://www.w3.org/2001/sw/BestPractices/OEP/Time-Ontology). Meta-physical time concepts are separated from parts dealing with quantitative time. Relations were strengthened with more axioms.</rdfs:comment>
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string">LKIF Core, version 1.1, copyright (C) 2008, the ESTRELLA consortium</owl:versionInfo>
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Partner contributions from the University of Amsterdam (UvA) and the University of Bologna (UNIBO).
Editor: Rinke Hoekstra (UvA)
Authors: Rinke Hoekstra (UvA), Alexander Boer (UvA), Kasper van den Berg (UvA)
Contributors: Joost Breuker (UvA), Monica Palmirani (UNIBO)</owl:versionInfo>
<owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string">This module is part of LKIF-Core, version 1.1, part of Deliverable 1.4 of ESTRELLA, IST-2004-027665</owl:versionInfo>
<owl:versionInfo xml:lang="en">The LKIF-Core ontology, version 1.0, is part of Deliverable 1.4 of the European project for Standardised Transparent Representations in order to Extend Legal Accessibility (ESTRELLA, IST-2004-027665), http://www.estrellaproject.org
This ontology is licensed under the Creative Commons Attribution 4.0 International License (CC BY 4.0). To view a copy of this license, visit https://creativecommons.org/licenses/by/4.0/</owl:versionInfo>
<owl:imports rdf:resource="http://www.estrellaproject.org/lkif-core/mereology.owl"/>
<dct:license rdf:resource="https://creativecommons.org/licenses/by/4.0/"/>
</owl:Ontology>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#overlap">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period overlaps with another time period (in any way)</rdfs:comment>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#temporal_relation">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A relation between two time periods</rdfs:comment>
<rdfs:range rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:domain rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
</owl:ObjectProperty>
</rdfs:subPropertyOf>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#between">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period occurs between two other periods</rdfs:comment>
<rdfs:range rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Pair_Of_Periods"/>
<rdfs:domain rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:subPropertyOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#temporal_relation"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#starts">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period starts another period, i.e. the other period starts at the same time, but ends at a later time.</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#temporal_relation"/>
</owl:ObjectProperty>
<owl:Class rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#Interval">
<rdfs:subClassOf rdf:resource="http://www.estrellaproject.org/lkif-core/mereology.owl#Composition"/>
<rdfs:subClassOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<owl:disjointWith rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Moment"/>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">An interval is a composition of multiple periods of time.</rdfs:comment>
</owl:Class>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#finishes">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period finishes another period, i.e. the other period starts before, but ends at the same moment</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#temporal_relation"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#during">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period occurs during another period</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#temporal_relation"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#preceeds">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period preceeds another period, the periods do not overlap</rdfs:comment>
<rdfs:subPropertyOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#temporal_relation"/>
</owl:ObjectProperty>
<owl:Class rdf:about="http://www.estrellaproject.org/lkif-core/mereology.owl#Atom"/>
<owl:Class rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#Moment">
<rdfs:subClassOf rdf:resource="http://www.estrellaproject.org/lkif-core/mereology.owl#Atom"/>
<rdfs:subClassOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A moment is an atomic period of time, i.e. it cannot be divided into other parts</rdfs:comment>
</owl:Class>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#immediately_before">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">'meet' in Allen's paper is replaced by 'immediately_before'</rdfs:comment>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Add to OWL 1.1: 'immediately_before' is serial, 'immediately_before' is irreflexive</rdfs:comment>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period occurs immediately before another period, i.e. it ends where the other period starts</rdfs:comment>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">t1 previous t2: interval t1 is before t2, but there is no interval between them, i.e., t1 ends where t2 starts</rdfs:comment>
<rdfs:domain rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:range rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:subPropertyOf>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#before">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period occurs before another period, but might overlap with it.</rdfs:comment>
<rdfs:range rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:domain rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<owl:inverseOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#after"/>
<rdfs:subPropertyOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#temporal_relation"/>
</owl:ObjectProperty>
</rdfs:subPropertyOf>
<owl:inverseOf>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#immediately_after">
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">'is_met_by' is renamed to 'immediately_after'</rdfs:comment>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Add to OWL 1.1: 'immediately_after' is serial, 'immediately_after' is irreflexive</rdfs:comment>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period occurs immediately after another period, i.e. it starts where the other period ends</rdfs:comment>
<rdfs:range rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:domain rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:subPropertyOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#after"/>
</owl:ObjectProperty>
</owl:inverseOf>
</owl:ObjectProperty>
<owl:Class rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence">
<rdfs:subClassOf rdf:resource="http://www.estrellaproject.org/lkif-core/lkif-top.owl#Spatio_Temporal_Occurrence"/>
<rdfs:subClassOf>
<owl:Class rdf:nodeID="N15196a0b23974128b5a3ec615d176920">
<owl:intersectionOf rdf:parseType="Collection">
<owl:Restriction rdf:nodeID="N359778e2a8244849a0e0571c7f603a85">
<owl:onProperty rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#immediately_after"/>
<owl:someValuesFrom rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
</owl:Restriction>
<owl:Restriction rdf:nodeID="Nbbefa318b4ea417a9d2e916a376d9a09">
<owl:onProperty rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#immediately_before"/>
<owl:someValuesFrom rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A period of time, has a duration</rdfs:comment>
</owl:Class>
<owl:Class rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#Pair_Of_Periods">
<rdfs:subClassOf rdf:resource="http://www.estrellaproject.org/lkif-core/mereology.owl#Pair"/>
<rdfs:subClassOf>
<owl:Restriction rdf:nodeID="N63f970fb988f4aff8035db4cd418f5fe">
<owl:onProperty rdf:resource="http://www.estrellaproject.org/lkif-core/mereology.owl#component"/>
<owl:allValuesFrom rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A pair of two time periods</rdfs:comment>
</owl:Class>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/time.owl#after">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">'after' is the transitive closure of 'next'; this is defined in time-rules.owl.</rdfs:comment>
<rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Specifies that a time period occurs after another period, but might overlap with it.</rdfs:comment>
<rdfs:domain rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:range rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#Temporal_Occurrence"/>
<rdfs:subPropertyOf rdf:resource="http://www.estrellaproject.org/lkif-core/time.owl#temporal_relation"/>
</owl:ObjectProperty>
<owl:Class rdf:about="http://www.estrellaproject.org/lkif-core/mereology.owl#Composition"/>
<owl:ObjectProperty rdf:about="http://www.estrellaproject.org/lkif-core/mereology.owl#component"/>
<owl:Class rdf:about="http://www.estrellaproject.org/lkif-core/mereology.owl#Pair"/>
<owl:Class rdf:about="http://www.estrellaproject.org/lkif-core/lkif-top.owl#Spatio_Temporal_Occurrence"/>
</rdf:RDF>