-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathordinal.ttl
186 lines (151 loc) · 13.1 KB
/
ordinal.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
@prefix : <http://emmo.info/emmo#> .
@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 skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@base <http://emmo.info/emmo/middle/ordinal> .
<http://emmo.info/emmo/middle/ordinal> rdf:type owl:Ontology ;
owl:imports <http://emmo.info/emmo/1.0.0-alpha2/middle/reductionistic> ;
owl:imports <http://emmo.info/emmo/1.0.0-alpha2/top/mereotopology> ;
owl:imports <http://emmo.info/emmo/1.0.0-alpha2/top/annotations> .
#################################################################
# Object Properties
#################################################################
### http://emmo.info/emmo#EMMO_050b47b6_2583_43f7_95eb_a216b41cd5f6
:EMMO_050b47b6_2583_43f7_95eb_a216b41cd5f6 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://emmo.info/emmo/middle/reductionistic#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe> ;
rdf:type owl:FunctionalProperty ,
owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_25a3da5e_eab1_42dd_8081_61dd09d34e1b ;
rdfs:range :EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5 ;
skos:prefLabel "hasSpatialLast"@en .
### http://emmo.info/emmo#EMMO_2a9fcd79_bc67_4b1a_8e64_9dfe505a0007
:EMMO_2a9fcd79_bc67_4b1a_8e64_9dfe505a0007 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://emmo.info/emmo/middle/reductionistic#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe> ;
rdf:type owl:FunctionalProperty ,
owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_25a3da5e_eab1_42dd_8081_61dd09d34e1b ;
rdfs:range :EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5 ;
skos:prefLabel "hasSpatialFirst"@en .
### http://emmo.info/emmo#EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d
:EMMO_499e24a5_5072_4c83_8625_fe3f96ae4a8d rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_52d08d7d_e9e4_43e5_8508_d353e7e3a23a ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_e0954911_fc88_492a_9830_fdb238e28cc2 ;
rdfs:range :EMMO_e0954911_fc88_492a_9830_fdb238e28cc2 ;
skos:prefLabel "hasTemporalNext"@en .
### http://emmo.info/emmo#EMMO_52d08d7d_e9e4_43e5_8508_d353e7e3a23a
:EMMO_52d08d7d_e9e4_43e5_8508_d353e7e3a23a rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://emmo.info/emmo/top/mereotopology#EMMO_4d6504f1_c470_4ce9_b941_bbbebc9ab05d> ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_2e9ace8a_1155_45b5_a066_d5fd9774e76c ;
rdfs:range :EMMO_2e9ace8a_1155_45b5_a066_d5fd9774e76c ;
skos:prefLabel "hasNext"@en .
### http://emmo.info/emmo#EMMO_651013cf_00ee_4e66_9d4e_fdfb20d991d2
:EMMO_651013cf_00ee_4e66_9d4e_fdfb20d991d2 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://emmo.info/emmo/top/mereotopology#EMMO_4d6504f1_c470_4ce9_b941_bbbebc9ab05d> ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
skos:prefLabel "hasRest"@en .
### http://emmo.info/emmo#EMMO_66873eb5_7e42_4566_a906_bd97a832f19b
:EMMO_66873eb5_7e42_4566_a906_bd97a832f19b rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_651013cf_00ee_4e66_9d4e_fdfb20d991d2 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5 ;
rdfs:range :EMMO_25a3da5e_eab1_42dd_8081_61dd09d34e1b ;
skos:prefLabel "hasSpatialRest"@en .
### http://emmo.info/emmo#EMMO_8785be5a_2493_4b12_8f39_31907ab11748
:EMMO_8785be5a_2493_4b12_8f39_31907ab11748 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_52d08d7d_e9e4_43e5_8508_d353e7e3a23a ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5 ;
rdfs:range :EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5 ;
skos:prefLabel "hasSpatialNext"@en .
### http://emmo.info/emmo#EMMO_c0f48dc6_4a32_4d9a_a956_d68415954a8e
:EMMO_c0f48dc6_4a32_4d9a_a956_d68415954a8e rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://emmo.info/emmo/middle/reductionistic#EMMO_65a2c5b8_e4d8_4a51_b2f8_e55effc0547d> ;
rdf:type owl:FunctionalProperty ,
owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_406f9b74_c927_4e05_b9af_5edbe5e280c5 ;
rdfs:range :EMMO_e0954911_fc88_492a_9830_fdb238e28cc2 ;
skos:prefLabel "hasTemporalLast"@en .
### http://emmo.info/emmo#EMMO_fb168b10_a27b_4409_a002_35671319d170
:EMMO_fb168b10_a27b_4409_a002_35671319d170 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf :EMMO_651013cf_00ee_4e66_9d4e_fdfb20d991d2 ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_e0954911_fc88_492a_9830_fdb238e28cc2 ;
rdfs:range :EMMO_406f9b74_c927_4e05_b9af_5edbe5e280c5 ;
skos:prefLabel "hasTemporalRest"@en .
### http://emmo.info/emmo#EMMO_fe63194f_7c04_4dbd_a244_524b38b6699b
:EMMO_fe63194f_7c04_4dbd_a244_524b38b6699b rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf <http://emmo.info/emmo/middle/reductionistic#EMMO_65a2c5b8_e4d8_4a51_b2f8_e55effc0547d> ;
rdf:type owl:FunctionalProperty ,
owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain :EMMO_406f9b74_c927_4e05_b9af_5edbe5e280c5 ;
rdfs:range :EMMO_e0954911_fc88_492a_9830_fdb238e28cc2 ;
skos:prefLabel "hasTemporalFirst"@en .
#################################################################
# Classes
#################################################################
### http://emmo.info/emmo#EMMO_25a3da5e_eab1_42dd_8081_61dd09d34e1b
:EMMO_25a3da5e_eab1_42dd_8081_61dd09d34e1b rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty <http://emmo.info/emmo/middle/reductionistic#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe> ;
owl:someValuesFrom :EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://emmo.info/emmo/middle/reductionistic#EMMO_b2282816_b7a3_44c6_b2cb_3feff1ceb7fe>;
owl:allValuesFrom :EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5
] ;
<http://emmo.info/emmo/top/annotations#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9> "A State whose spatial direct parts are all SpatialOrdered objects." ;
skos:prefLabel "Arrangement"@en .
### http://emmo.info/emmo#EMMO_2e9ace8a_1155_45b5_a066_d5fd9774e76c
:EMMO_2e9ace8a_1155_45b5_a066_d5fd9774e76c rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:unionOf ( :EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5
:EMMO_e0954911_fc88_492a_9830_fdb238e28cc2
)
] ;
rdfs:subClassOf <http://emmo.info/emmo/middle/reductionistic#EMMO_15db234d_ecaf_4715_9838_4b4ec424fb13> ;
skos:prefLabel "OrderedElement"@en .
### http://emmo.info/emmo#EMMO_406f9b74_c927_4e05_b9af_5edbe5e280c5
:EMMO_406f9b74_c927_4e05_b9af_5edbe5e280c5 rdf:type owl:Class ;
rdfs:subClassOf [ rdf:type owl:Restriction ;
owl:onProperty <http://emmo.info/emmo/middle/reductionistic#EMMO_65a2c5b8_e4d8_4a51_b2f8_e55effc0547d> ;
owl:someValuesFrom :EMMO_e0954911_fc88_492a_9830_fdb238e28cc2
] ,
[ rdf:type owl:Restriction ;
owl:onProperty <http://emmo.info/emmo/middle/reductionistic#EMMO_65a2c5b8_e4d8_4a51_b2f8_e55effc0547d> ;
owl:allValuesFrom :EMMO_e0954911_fc88_492a_9830_fdb238e28cc2
] ;
<http://emmo.info/emmo/top/annotations#EMMO_967080e5_2f42_4eb2_a3a9_c58143e835f9> "An Existent whose temporal direct parts are all TemporalOrdered." ;
skos:prefLabel "Sequence"@en .
### http://emmo.info/emmo#EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5
:EMMO_42fc460a_4bf3_4d0b_8dee_3c7efcefebb5 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_2e9ace8a_1155_45b5_a066_d5fd9774e76c ;
skos:prefLabel "SpatialOrderedElement"@en .
### http://emmo.info/emmo#EMMO_c03bab53_fed3_4142_9741_cc7fc806f0a6
:EMMO_c03bab53_fed3_4142_9741_cc7fc806f0a6 rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Class ;
owl:unionOf ( :EMMO_25a3da5e_eab1_42dd_8081_61dd09d34e1b
:EMMO_406f9b74_c927_4e05_b9af_5edbe5e280c5
)
] ;
<http://emmo.info/emmo/top/annotations#EMMO_70fe84ff_99b6_4206_a9fc_9a8931836d84> "The union of Arrangement and Sequence." ;
skos:prefLabel "Ordered"@en .
### http://emmo.info/emmo#EMMO_e0954911_fc88_492a_9830_fdb238e28cc2
:EMMO_e0954911_fc88_492a_9830_fdb238e28cc2 rdf:type owl:Class ;
rdfs:subClassOf :EMMO_2e9ace8a_1155_45b5_a066_d5fd9774e76c ;
skos:prefLabel "TemporalOrderedElement"@en .