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 .
#
#
#
# #################################################################
# #
# # 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 .
#
# http://www.w3.org/2003/01/geo/wgs84_pos#location
<http://www.w3.org/2003/01/geo/wgs84_pos#location> a owl:ObjectProperty .
#
# https://w3id.org/def/saref4city#availableIn
<https://w3id.org/def/saref4city#availableIn> a owl:ObjectProperty .
#
# https://w3id.org/def/saref4city#availableInLanguage
<https://w3id.org/def/saref4city#availableInLanguage> a owl:ObjectProperty ;
rdfs:range <https://w3id.org/def/saref4city#Language> .
#
# https://w3id.org/def/saref4city#belongsTo
<https://w3id.org/def/saref4city#belongsTo> a owl:ObjectProperty .
#
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
# https://w3id.org/def/saref4city#belongsToCity
<https://w3id.org/def/saref4city#belongsToCity> a owl:ObjectProperty ;
owl:inverseOf <https://w3id.org/def/saref4city#hasCityObject> .
#
# https://w3id.org/def/saref4city#contains
<https://w3id.org/def/saref4city#contains> a owl:ObjectProperty .
#
# https://w3id.org/def/saref4city#hasAccesibility
<https://w3id.org/def/saref4city#hasAccesibility> a owl:ObjectProperty .
#
# https://w3id.org/def/saref4city#hasCityObject
<https://w3id.org/def/saref4city#hasCityObject> a owl:ObjectProperty .
#
# https://w3id.org/def/saref4city#providesService
<https://w3id.org/def/saref4city#providesService> a owl:ObjectProperty .
#
# https://w3id.org/def/saref4city#regulatedBy
<https://w3id.org/def/saref4city#regulatedBy> a owl:ObjectProperty .
#
# https://w3id.org/def/saref4city#takesPlaceAtTime
<https://w3id.org/def/saref4city#takesPlaceAtTime> a owl:ObjectProperty .
#
# https://w3id.org/def/saref4city#usesService
<https://w3id.org/def/saref4city#usesService> a owl:ObjectProperty .
#
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
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
# 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/def/saref4city#hasServiceDescription
<https://w3id.org/def/saref4city#hasServiceDescription> a owl:DatatypeProperty ;
rdfs:subPropertyOf saref:hasDescription .
#
# https://w3id.org/def/saref4city#name
<https://w3id.org/def/saref4city#name> a owl:DatatypeProperty .
#
# 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
# #
# #################################################################
#
#
# http://www.lingvoj.org/ontology#Lingvo
<http://www.lingvoj.org/ontology#Lingvo> a owl:Class ;
owl:equivalentClass <https://w3id.org/def/saref4city#Language> ;
rdfs:label "Language"@en .
#
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
284
285
# 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> ;
rdfs:comment "An administrative division, unit, entity, area or region, also referred to as a subnational entity, constituent unit, or country subdivision, is a portion of a country or other region delineated for the purpose of administration. (https://en.wikipedia.org/wiki/Administrative_division)"@en .
<https://w3id.org/def/saref4city#Agent> a owl:Class ;
rdfs:label "Agent"@en .
#
# https://w3id.org/def/saref4city#City
<https://w3id.org/def/saref4city#City> a owl:Class ;
rdfs:subClassOf <https://w3id.org/def/saref4city#AdministrativeArea> ;
rdfs:comment "A city is a large human settlement. A city is distinguished from other human settlements by its relatively great size, but also by its functions and its special symbolic status, which may be conferred by a central authority. (https://en.wikipedia.org/wiki/City)"@en .
#
# 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> ;
rdfs:comment "A district is a type of administrative division that, in some countries, is managed by local government. Across the world, areas known as \"districts\" vary greatly in size, spanning regions or counties, several municipalities, subdivisions of municipalities, school district, or political district. (https://en.wikipedia.org/wiki/District)"@en .
#
# 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#Language
<https://w3id.org/def/saref4city#Language> a owl:Class ;
rdfs:label "Language"@en .
#
# https://w3id.org/def/saref4city#Neighbourhood
<https://w3id.org/def/saref4city#Neighbourhood> a owl:Class ;
rdfs:subClassOf <https://w3id.org/def/saref4city#AdministrativeArea> ;
rdfs:comment "A neighbourhood (British English), or neighborhood (American English; see spelling differences), is a geographically localised community within a larger city, town, suburb or rural area. (https://en.wikipedia.org/wiki/Neighbourhood)"@en .
#
# https://w3id.org/def/saref4city#PublicAdministration
<https://w3id.org/def/saref4city#PublicAdministration> a owl:Class ;
rdfs:subClassOf <https://w3id.org/def/saref4city#Agent> ;
rdfs:label "Public administration"@en .
#
# 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 .
#
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
# 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:Device rdfs:subClassOf _:genid4 .
_:genid4 a owl:Restriction ;
owl:onProperty saref:hasState ;
owl:allValuesFrom saref:State .
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 ;
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
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
474
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:Device rdfs:subClassOf _:genid13 .
_:genid13 a owl:Restriction ;
owl:onProperty saref:accomplishes ;
owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
owl:onClass saref:Task .
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 ;
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
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#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#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