Newer
Older
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
@prefix : <https://w3id.org/def/saref4bldg#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@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 prov: <http://www.w3.org/ns/prov#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix saref: <https://w3id.org/saref#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
<https://w3id.org/def/saref4city> a owl:Ontology ;
owl:versionIRI <https://w3id.org/def/v1/saref4city> ;
owl:versionInfo "0.1"^^xsd:decimal ;
dcterms:creator <http://www.garcia-castro.com/foaf.rdf#me> ;
dc:title "SAREF extension for Smart Cities"@en ;
dcterms:license <http://purl.org/NET/rdflicense/cc-by4.0> ;
dcterms:creator <http://w3id.org/people/mpoveda> ;
dc:publisher <http://www.oeg-upm.net/> ;
vann:preferredNamespacePrefix "s4city" ;
vann:preferredNamespaceUri "https://w3id.org/def/saref4city#" ;
dc:description "This ontology extends the SAREF ontology for the Smart Cities domain. This work has been developed in the context of the STF 534 (https://portal.etsi.org/STF/STFs/STFHomePages/STF534.aspx), which was established with the goal to create three SAREF extensions, one of them for the Smart Cities domain."@en .
#
#
# #################################################################
# #
# # Annotation properties
# #
# #################################################################
#
#
# http://purl.org/dc/terms/creator
dcterms:creator a owl:AnnotationProperty .
#
# http://purl.org/dc/terms/dateCopyrighted
dcterms:dateCopyrighted a owl:AnnotationProperty .
#
# http://purl.org/dc/terms/rightsHolder
dcterms:rightsHolder a owl:AnnotationProperty .
#
# http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix a owl:AnnotationProperty .
#
# http://purl.org/vocab/vann/preferredNamespaceUri
vann:preferredNamespaceUri a owl:AnnotationProperty .
#
# http://www.w3.org/ns/prov#hadPrimarySource
prov:hadPrimarySource a owl:AnnotationProperty .
#
#
#
# #################################################################
# #
# # Datatypes
# #
# #################################################################
#
#
# http://www.w3.org/2001/XMLSchema#duration
xsd:duration a rdfs:Datatype .
#
#
#
# #################################################################
# #
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
187
188
189
190
# # Object Properties
# #
# #################################################################
#
#
# http://www.opengis.net/ont/geosparql#hasGeometry
<http://www.opengis.net/ont/geosparql#hasGeometry> a owl:ObjectProperty ;
rdfs:comment "A spatial representation for a given feature."@en ;
rdfs:isDefinedBy "http://www.opengis.net/ont/geosparql#" ;
rdfs:label "has geomtry"@en .
#
# https://w3id.org/def/saref4city#belongsTo
<https://w3id.org/def/saref4city#belongsTo> a owl:ObjectProperty .
#
# https://w3id.org/saref#accomplishes
saref:accomplishes a owl:ObjectProperty .
#
# https://w3id.org/saref#consistsOf
saref:consistsOf a owl:ObjectProperty .
#
# https://w3id.org/saref#controlsProperty
saref:controlsProperty a owl:ObjectProperty .
#
# https://w3id.org/saref#hasCommand
saref:hasCommand a owl:ObjectProperty .
#
# https://w3id.org/saref#hasFunction
saref:hasFunction a owl:ObjectProperty .
#
# https://w3id.org/saref#hasProfile
saref:hasProfile a owl:ObjectProperty .
#
# https://w3id.org/saref#hasState
saref:hasState a owl:ObjectProperty .
#
# https://w3id.org/saref#hasTypicalConsumption
saref:hasTypicalConsumption a owl:ObjectProperty .
#
# https://w3id.org/saref#isControlledByDevice
saref:isControlledByDevice a owl:ObjectProperty .
#
# https://w3id.org/saref#isMeasuredByDevice
saref:isMeasuredByDevice a owl:ObjectProperty .
#
# https://w3id.org/saref#isMeasuredIn
saref:isMeasuredIn a owl:ObjectProperty .
#
# https://w3id.org/saref#isUsedFor
saref:isUsedFor a owl:ObjectProperty .
#
# https://w3id.org/saref#makesMeasurement
saref:makesMeasurement a owl:ObjectProperty .
#
# https://w3id.org/saref#measuresProperty
saref:measuresProperty a owl:ObjectProperty .
#
# https://w3id.org/saref#offers
saref:offers a owl:ObjectProperty .
#
# https://w3id.org/saref#relatesToMeasurement
saref:relatesToMeasurement a owl:ObjectProperty .
#
# https://w3id.org/saref#relatesToProperty
saref:relatesToProperty a owl:ObjectProperty .
#
#
#
# #################################################################
# #
# # Data properties
# #
# #################################################################
#
#
# https://w3id.org/saref#hasDescription
saref:hasDescription a owl:DatatypeProperty .
#
# https://w3id.org/saref#hasManufacturer
saref:hasManufacturer a owl:DatatypeProperty .
#
# https://w3id.org/saref#hasModel
saref:hasModel a owl:DatatypeProperty .
#
# https://w3id.org/saref#hasTimestamp
saref:hasTimestamp a owl:DatatypeProperty .
#
# https://w3id.org/saref#hasValue
saref:hasValue a owl:DatatypeProperty .
#
#
#
# #################################################################
# #
# # Classes
# #
# #################################################################
#
#
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
# http://www.opengis.net/ont/geosparql#Geometry
<http://www.opengis.net/ont/geosparql#Geometry> a owl:Class ;
rdfs:comment "The class represents the top-level geometry type. This class is equivalent to the UML class GM_Object defined in ISO 19107, and it is superclass of all geometry types."@en ;
rdfs:isDefinedBy "http://www.opengis.net/ont/geosparql"@en ;
rdfs:label "Geometry"@en .
#
# http://www.w3.org/2003/01/geo/wgs84_pos#Point
<http://www.w3.org/2003/01/geo/wgs84_pos#Point> a owl:Class ;
rdfs:subClassOf <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> .
#
# http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing
<http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> a owl:Class ;
rdfs:comment "\"Anything with spatial extent, i.e. size, shape, or position. e.g. people, places, bowling balls, as well as abstract areas like cubes.\"@en"@en ;
rdfs:isDefinedBy "http://www.w3.org/2003/01/geo/wgs84_pos#" ;
rdfs:label "Spatial thing"@en .
#
# http://www.w3.org/2006/time#TemporalEntity
<http://www.w3.org/2006/time#TemporalEntity> a owl:Class ;
rdfs:comment "A temporal interval or instant."@en ;
rdfs:isDefinedBy "http://www.w3.org/2006/time#" ;
rdfs:label "Temporal entity"@en .
#
# https://w3id.org/def/saref4city#AdministrativeArea
<https://w3id.org/def/saref4city#AdministrativeArea> a owl:Class ;
rdfs:subClassOf <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> .
#
# https://w3id.org/def/saref4city#Agent
<https://w3id.org/def/saref4city#Agent> a owl:Class .
#
# https://w3id.org/def/saref4city#City
<https://w3id.org/def/saref4city#City> a owl:Class ;
rdfs:subClassOf <https://w3id.org/def/saref4city#AdministrativeArea> .
#
# https://w3id.org/def/saref4city#CityObject
<https://w3id.org/def/saref4city#CityObject> a owl:Class ;
rdfs:subClassOf <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> .
#
# https://w3id.org/def/saref4city#Country
<https://w3id.org/def/saref4city#Country> a owl:Class ;
rdfs:subClassOf <https://w3id.org/def/saref4city#AdministrativeArea> .
#
# https://w3id.org/def/saref4city#District
<https://w3id.org/def/saref4city#District> a owl:Class ;
rdfs:subClassOf <https://w3id.org/def/saref4city#AdministrativeArea> .
#
# https://w3id.org/def/saref4city#Event
<https://w3id.org/def/saref4city#Event> a owl:Class .
#
# https://w3id.org/def/saref4city#FeatureOfInterest
<https://w3id.org/def/saref4city#FeatureOfInterest> a owl:Class ;
rdfs:comment """TESTING!
It might be replaced by ssn feature of interest or created in saref ontology"""@en .
#
# https://w3id.org/def/saref4city#KeyPerformanceIndicator
<https://w3id.org/def/saref4city#KeyPerformanceIndicator> a owl:Class ;
rdfs:label "Key Performance Indicator"@en .
#
# https://w3id.org/def/saref4city#Neighbourhood
<https://w3id.org/def/saref4city#Neighbourhood> a owl:Class ;
rdfs:subClassOf <https://w3id.org/def/saref4city#AdministrativeArea> .
#
# https://w3id.org/def/saref4city#PublicAdministration
<https://w3id.org/def/saref4city#PublicAdministration> a owl:Class ;
rdfs:subClassOf <https://w3id.org/def/saref4city#Agent> .
#
# https://w3id.org/def/saref4city#PublicService
<https://w3id.org/def/saref4city#PublicService> a owl:Class .
#
# https://w3id.org/def/saref4city#Rule
<https://w3id.org/def/saref4city#Rule> a owl:Class .
#
# https://w3id.org/saref#Actuator
saref:Actuator a owl:Class ;
rdfs:comment "A device responsible for moving or controlling a mechanism or system"@en ;
rdfs:isDefinedBy <https://w3id.org/saref#> ;
rdfs:label "Actuator"@en .
#
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
# https://w3id.org/saref#Command
saref:Command a owl:Class .
#
# https://w3id.org/saref#Commodity
saref:Commodity a owl:Class .
#
# https://w3id.org/saref#Device
saref:Device a owl:Class ;
rdfs:subClassOf _:genid1 .
_:genid1 a owl:Restriction ;
owl:onProperty saref:consistsOf ;
owl:allValuesFrom saref:Device .
saref:Device rdfs:subClassOf _:genid2 .
_:genid2 a owl:Restriction ;
owl:onProperty saref:controlsProperty ;
owl:allValuesFrom saref:Property .
saref:Device rdfs:subClassOf _:genid3 .
_:genid3 a owl:Restriction ;
owl:onProperty saref:hasProfile ;
owl:allValuesFrom saref:Profile .
saref:Profile a owl:Class .
saref:Device rdfs:subClassOf _:genid4 .
_:genid4 a owl:Restriction ;
owl:onProperty saref:hasState ;
owl:allValuesFrom saref:State .
saref:State a owl:Class .
saref:Device rdfs:subClassOf _:genid5 .
_:genid5 a owl:Restriction ;
owl:onProperty saref:hasTypicalConsumption ;
owl:allValuesFrom _:genid6 .
_:genid6 a owl:Class ;
owl:unionOf _:genid8 .
_:genid8 a rdf:List ;
rdf:first saref:Energy .
saref:Energy a owl:Class .
_:genid8 rdf:rest _:genid7 .
_:genid7 a rdf:List ;
rdf:first saref:Power .
saref:Power a owl:Class .
_:genid7 rdf:rest rdf:nil .
saref:Device rdfs:subClassOf _:genid9 .
_:genid9 a owl:Restriction ;
owl:onProperty saref:isUsedFor ;
owl:allValuesFrom saref:Commodity .
saref:Device rdfs:subClassOf _:genid10 .
_:genid10 a owl:Restriction ;
owl:onProperty saref:makesMeasurement ;
owl:allValuesFrom saref:Measurement .
saref:Device rdfs:subClassOf _:genid11 .
_:genid11 a owl:Restriction ;
owl:onProperty saref:measuresProperty ;
owl:allValuesFrom saref:Property .
saref:Device rdfs:subClassOf _:genid12 .
_:genid12 a owl:Restriction ;
owl:onProperty saref:offers ;
owl:allValuesFrom saref:Service .
saref:Service a owl:Class .
saref:Device rdfs:subClassOf _:genid13 .
_:genid13 a owl:Restriction ;
owl:onProperty saref:accomplishes ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass saref:Task .
saref:Task a owl:Class .
saref:Device rdfs:subClassOf _:genid14 .
_:genid14 a owl:Restriction ;
owl:onProperty saref:hasFunction ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass saref:Function .
saref:Device rdfs:subClassOf _:genid15 .
_:genid15 a owl:Restriction ;
owl:onProperty saref:hasDescription ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger .
saref:Device rdfs:subClassOf _:genid16 .
_:genid16 a owl:Restriction ;
owl:onProperty saref:hasManufacturer ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger .
saref:Device rdfs:subClassOf _:genid17 .
_:genid17 a owl:Restriction ;
owl:onProperty saref:hasModel ;
owl:maxCardinality "1"^^xsd:nonNegativeInteger .
saref:Device rdfs:comment "A tangible object designed to accomplish a particular task in households, common public buildings or offices. In order to accomplish this task, the device performs one or more functions. For example, a washing machine is designed to wash (task) and to accomplish this task it performs a start and stop function. Devices can be structured in categories (subclasses) that reflect the different domain in which a device is used, e.g., smart appliances domain (subclass FunctionRelated) vs. building domain (subclass BuildingRelated) vs. smart grid domain (subclass EnergyRelated). New categories can be defined,if needed, to reflect other differences, for example different points of view, such as the point of view of the device's user vs. the point of view of the device's manufacturer. We propose a list of devices that are relevant for the purpose of SAREF, but this list can be extended."^^xsd:string ;
rdfs:label "Device"^^xsd:string .
#
# https://w3id.org/saref#Energy
#
# https://w3id.org/saref#Function
saref:Function a owl:Class ;
rdfs:subClassOf _:genid18 .
_:genid18 a owl:Restriction ;
owl:onProperty saref:hasCommand ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass saref:Command .
saref:Function rdfs:comment "The functionality necessary to accomplish the task for which a Device is designed. A device can be designed to perform more than one function. Functions can be structured in categories (subclasses) that reflect different points of view, for example, considering the specific application area for which a function can be used (e.g., light, temperature, motion, heat, power, etc.), or the capability that a function can support (e.g., receive, reply, notify, etc.), and so forth. "^^xsd:string ;
rdfs:label "Function"^^xsd:string .
#
# https://w3id.org/saref#Measurement
saref:Measurement a owl:Class ;
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
rdfs:subClassOf _:genid19 .
_:genid19 a owl:Restriction ;
owl:onProperty saref:isMeasuredIn ;
owl:allValuesFrom saref:UnitOfMeasure .
saref:Measurement rdfs:subClassOf _:genid20 .
_:genid20 a owl:Restriction ;
owl:onProperty saref:relatesToProperty ;
owl:allValuesFrom saref:Property .
saref:Measurement rdfs:subClassOf _:genid21 .
_:genid21 a owl:Restriction ;
owl:onProperty saref:isMeasuredIn ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass saref:UnitOfMeasure .
saref:Measurement rdfs:subClassOf _:genid22 .
_:genid22 a owl:Restriction ;
owl:onProperty saref:relatesToProperty ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass saref:Property .
saref:Measurement rdfs:subClassOf _:genid23 .
_:genid23 a owl:Restriction ;
owl:onProperty saref:hasTimestamp ;
owl:allValuesFrom xsd:dateTime .
saref:Measurement rdfs:subClassOf _:genid24 .
_:genid24 a owl:Restriction ;
owl:onProperty saref:hasValue ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onDataRange xsd:float .
saref:Measurement owl:disjointWith saref:Property , saref:UnitOfMeasure ;
rdfs:comment "Represents the measured value made over a property. It is also linked to the unit of measure in which the value is expressed and the timestamp of the measurement."@en ;
rdfs:isDefinedBy "https://w3id.org/saref#" ;
rdfs:label "Measurement"@en .
#
# https://w3id.org/saref#Power
#
# https://w3id.org/saref#Profile
#
# https://w3id.org/saref#Property
saref:Property a owl:Class ;
rdfs:subClassOf _:genid25 .
_:genid25 a owl:Restriction ;
owl:onProperty saref:isControlledByDevice ;
owl:allValuesFrom saref:Device .
saref:Property rdfs:subClassOf _:genid26 .
_:genid26 a owl:Restriction ;
owl:onProperty saref:isMeasuredByDevice ;
owl:allValuesFrom saref:Device .
saref:Property rdfs:subClassOf _:genid27 .
_:genid27 a owl:Restriction ;
owl:onProperty saref:relatesToMeasurement ;
owl:allValuesFrom saref:Measurement .
saref:Property owl:disjointWith saref:UnitOfMeasure ;
rdfs:comment "An aspect of an entity that can be observable by a sensor."@en , "Anything that can be sensed, measured or controlled in households, common public buildings or offices. We propose here a list of properties that are relevant for the purpose of SAREF, but this list can be extended."^^xsd:string ;
#
# https://w3id.org/saref#Sensor
saref:Sensor a owl:Class ;
rdfs:comment """A device that detects and responds to events or changes in the physical environment such as light, motion, or temperature changes.
A device that has category saref:Sensor and performs a saref:SensingFunction."""@en ;
rdfs:isDefinedBy <https://w3id.org/saref#> ;
rdfs:label "Sensor"@en .
#
# https://w3id.org/saref#Service
#
# https://w3id.org/saref#State
#
# https://w3id.org/saref#Task
#
# https://w3id.org/saref#UnitOfMeasure
saref:UnitOfMeasure a owl:Class ;
rdfs:comment "The unit of measure is a standard for measurement of a quantity, such as a Property. For example, Power is a property and Watt is a unit of power that represents a definite predetermined power: when we say 10 Watt, we actually mean 10 times the definite predetermined power called \"watt\". Our definition is based on the definition of unit of measure in the Ontology of units of Measure (OM). We propose here a list of some units of measure that are relevant for the purpose of the Smart Appliances ontology, but this list can be extended."@en ;
rdfs:isDefinedBy <https://w3id.org/saref#> ;
rdfs:label "Unit of measure"@en .
#
# Generated by the OWL API (version 4.2.6.20160910-2108) https://github.com/owlcs/owlapi