Commit a962695f authored by María's avatar María
Browse files

Remove SAREF core definitions and update SAREF core import. Closes #14

parent c76d6e97

ontology/saref4city.ttl

+2 −206
Original line number Diff line number Diff line
@@ -18,9 +18,9 @@ 
	owl:versionIRI <https://saref.etsi.org/saref4city/v1.1.2/> ;

	dcterms:title "SAREF extension for Smart City"@en ;

	owl:versionInfo "v1.1.2" ;

	owl:imports <https://saref.etsi.org/core/v3.1.1/> ;

	owl:imports <https://saref.etsi.org/core/v3.2.1/> ;

	dcterms:issued "2020-06-05"^^xsd:date ;

	dcterms:modified "2020-06-05"^^xsd:date ;

	dcterms:modified "2024-07-25"^^xsd:date ;

	dcterms:creator <http://www.garcia-castro.com/foaf.rdf#me> ;

	dcterms:license <https://forge.etsi.org/etsi-software-license> ;

	dcterms:creator <http://w3id.org/people/mpoveda> ;
@@ -208,71 +208,9 @@ s4city:takesPlaceAtFacility a owl:ObjectProperty ; 
s4city:takesPlaceAtTime a owl:ObjectProperty ;

	rdfs:comment "takes place at time"@en ;

	rdfs:label "takes place at time"@en .

# 

# https://saref.etsi.org/core/controlsProperty



saref:controlsProperty a owl:ObjectProperty ;

	rdfs:comment "controls property"@en ;

	rdfs:label "controls property"@en .



# 

# https://saref.etsi.org/core/hasProperty



saref:hasProperty a owl:ObjectProperty ;

	owl:inverseOf saref:isPropertyOf ;

	rdfs:label "has property"@en .

# 

# https://saref.etsi.org/core/isControlledByDevice



saref:isControlledByDevice a owl:ObjectProperty ;

	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

	rdfs:label "is controlled by device"@en .

# 

# https://saref.etsi.org/core/isMeasuredByDevice



saref:isMeasuredByDevice a owl:ObjectProperty ;

	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

	rdfs:label "is measured by device"@en .

# 

# https://saref.etsi.org/core/isMeasuredIn



saref:isMeasuredIn a owl:ObjectProperty ;

	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

	rdfs:label "is measured in"@en .

# 

# https://saref.etsi.org/core/isPropertyOf



saref:isPropertyOf a owl:ObjectProperty ;

	rdfs:label "is property of"@en .

# 

# https://saref.etsi.org/core/makesMeasurement



saref:makesMeasurement a owl:ObjectProperty ;

	owl:inverseOf saref:measurementMadeBy ;

	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

	rdfs:label "makes measurement"@en .

# 

# https://saref.etsi.org/core/measurementMadeBy



saref:measurementMadeBy a owl:ObjectProperty .

# 

# https://saref.etsi.org/core/measuresProperty



saref:measuresProperty a owl:ObjectProperty ;

	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

	rdfs:label "measures property"@en .

# 

# https://saref.etsi.org/core/relatesToMeasurement



saref:relatesToMeasurement a owl:ObjectProperty ;

	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

	rdfs:label "relates to measurement"@en .

# 

# https://saref.etsi.org/core/relatesToProperty



saref:relatesToProperty a owl:ObjectProperty ;

	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

	rdfs:label "relates to property"@en .





# http://www.w3.org/2003/01/geo/wgs84_pos#location
@@ -313,30 +251,7 @@ s4city:hasLastUpdateDate a owl:DatatypeProperty ; 
	rdfs:comment "has last update date"@en ;

	rdfs:label "has last update date"@en .

# 

# https://saref.etsi.org/core/hasDescription



# saref:hasDescription a owl:DatatypeProperty ;

# 	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

# 	rdfs:label "has description"@en .

# 

# https://saref.etsi.org/core/hasName



# saref:hasName a owl:DatatypeProperty ;

# 	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

# 	rdfs:label "has name"@en .

# 

# https://saref.etsi.org/core/hasTimestamp



# saref:hasTimestamp a owl:DatatypeProperty ;

# 	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

# 	rdfs:label "has timestamp"@en .

# 

# https://saref.etsi.org/core/hasValue



# saref:hasValue a owl:DatatypeProperty ;

# 	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

# 	rdfs:label "has value"@en .

# http://www.w3.org/2003/01/geo/wgs84_pos#alt



wgs84:SpatialThing a owl:Class .
@@ -673,122 +588,3 @@ s4city:PublicService a owl:Class ; 
s4city:PublicService rdfs:comment "Public service is a service which is provided by government either directly (through the public sector) or by financing provision of services. (Definition taken from Wikipedia)"@en ;

	rdfs:label "Public service"@en ;

	rdfs:seeAlso <https://en.wikipedia.org/wiki/Public_service> .
 
# 

# https://saref.etsi.org/core/Actuator



saref:Actuator a owl:Class ;

	rdfs:subClassOf saref:Device ;

	rdfs:comment "A device responsible for moving or controlling a mechanism or system"@en ;

	rdfs:isDefinedBy <https://saref.etsi.org/core/> ;

	rdfs:label "Actuator"@en .

# 

# https://saref.etsi.org/core/Device



saref:Device a owl:Class ;

	rdfs:subClassOf geo:Feature , 

					[	a owl:Restriction ;

						owl:onProperty saref:controlsProperty ;

						owl:allValuesFrom saref:Property ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:makesMeasurement ;

						owl:allValuesFrom saref:Measurement ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:measuresProperty ;

						owl:allValuesFrom saref:Property ] .



					# [	a owl:Restriction ;

					# 	owl:onProperty saref:hasDescription ;

					# 	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://saref.etsi.org/core/FeatureOfInterest



saref:FeatureOfInterest a owl:Class ;

	rdfs:subClassOf [	a owl:Restriction ;

						owl:onProperty s4city:hasKPI ;

						owl:allValuesFrom s4city:KeyPerformanceIndicator ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:hasProperty ;

						owl:allValuesFrom saref:Property ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:hasMeasurement ;

						owl:allValuesFrom saref:Measurement ] .

# 

# https://saref.etsi.org/core/Measurement



saref:Measurement a owl:Class ;

	rdfs:subClassOf [	a owl:Restriction ;

						owl:onProperty saref:isMeasurementOf ;

						owl:allValuesFrom saref:FeatureOfInterest ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:isMeasuredIn ;

						owl:allValuesFrom saref:UnitOfMeasure ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:measurementMadeBy ;

						owl:allValuesFrom saref:Device ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:relatesToProperty ;

						owl:allValuesFrom saref:Property ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:isMeasuredIn ;

						owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;

						owl:onClass saref:UnitOfMeasure ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:relatesToProperty ;

						owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;

						owl:onClass saref:Property ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:hasTimestamp ;

						owl:allValuesFrom xsd:dateTime ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:hasValue ;

						owl:cardinality "1"^^xsd:nonNegativeInteger ] .



# https://saref.etsi.org/core/Property



saref:Property a owl:Class ;

	rdfs:subClassOf [	a owl:Restriction ;

						owl:onProperty saref:isControlledByDevice ;

						owl:allValuesFrom saref:Device ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:isMeasuredByDevice ;

						owl:allValuesFrom saref:Device ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:isPropertyOf ;

						owl:allValuesFrom saref:FeatureOfInterest ] ,



					[	a owl:Restriction ;

						owl:onProperty saref:relatesToMeasurement ;

						owl:allValuesFrom saref:Measurement ] .





# https://saref.etsi.org/core/Sensor



saref:Sensor a owl:Class ;

	rdfs:subClassOf saref:Device ;

	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://saref.etsi.org/core/> ;

	rdfs:label "Sensor"@en .

# 

# https://saref.etsi.org/core/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://saref.etsi.org/core/> ;

	rdfs:label "Unit of measure"@en .