Skip to content
saref.ttl 128 KiB
Newer Older
@prefix : <https://saref.etsi.org/core/> .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@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 foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix saref: <https://saref.etsi.org/core/> .
@prefix s4syst: <https://saref.etsi.org/saref4syst/> .
@prefix time: <http://www.w3.org/2006/time#> .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@prefix dcterms: <http://purl.org/dc/terms/> .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@prefix vann: <http://purl.org/vocab/vann/> .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

<https://saref.etsi.org/core/> a owl:Ontology ;
                          owl:versionInfo "v3.2.1" ;
                          owl:versionIRI <https://saref.etsi.org/core/v3.2.1/> ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
                          owl:priorVersion <https://saref.etsi.org/core/v3.1.1/> ;
                          dcterms:issued "2023-12-31"^^xsd:date ;
                          dcterms:modified "2020-12-31"^^xsd:date ;
                          dcterms:title "SAREF: the Smart Applications REFerence ontology"@en ;
                          dcterms:publisher <https://www.etsi.org/> ;
                          dcterms:license <https://forge.etsi.org/etsi-software-license> ;
                          dcterms:creator <http://maxime-lefrancois.info/me#> ;
                          dcterms:creator <http://www.garcia-castro.com/foaf.rdf#me> ;
                          dcterms:creator <https://w3id.org/people/mpoveda/> ;
                          dcterms:creator <https://www.linkedin.com/in/bouterca> ;
                          dcterms:creator <https://www.linkedin.com/in/david-gnabasik-0056a0ba/> ;
                          dcterms:creator <https://www.linkedin.com/in/lauradaniele> ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
                          dcterms:source <https://saref.etsi.org/sources/saref-core/> ;
                          rdfs:seeAlso <https://www.etsi.org/deliver/etsi_ts/103200_103299/103264/03.02.01_60/ts_103264v030201p.pdf> ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
                          vann:preferredNamespacePrefix "saref" ;
                          vann:preferredNamespaceUri "https://saref.etsi.org/core/" ;
                          dcterms:description "The Smart Applications REFerence ontology (SAREF) is intended to enable interoperability between solutions from different providers and among various activity sectors in the Internet of Things (IoT), thus contributing to the development of the global digital market."@en ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
                          rdfs:comment """Information about changes to version 3.2.1:

NOTE: Rationale and decisions for many of the changes in V3.2.1 are available in issues in project https://saref.etsi.org/sources/saref-core/issues.

- Definition of saref:FeatureOfInterest is clarified, not only properties are measured, but properties and states can be observed and controlled.
- Definition of saref:FeatureOfInterest: Clarify it is a specific real world entity.
- Definition of saref:FeatureOfInterest: allValuesFrom axioms are unnecessary and have been deleted.
- Introduced class saref:FeatureKind
- Use SKOS to organize generic classes in taxonomies.
- Introduce hasClassKind for Class is Feature, Device, Property, State, Function, Command.
- Add local restrictions on consistsOf on feature of interest
- Defined domain of saref:hasManufacturer to union of feature kind and feature of interest.
- Defined domain of saref:hasModel to union of feature kind and feature of interest.
- Most axioms on saref:Device were useless and have been deleted.
- definition of saref:Device clarifies it is a real world entity.
- saref:Device is explicitly a subclass of saref:FeatureOfInterest and s4syst:System.
- saref:actsUpon now holds not only between a command and a state. It generalizes actsUpon, observes, controls. Domain and range are unions of several classes.
- Introduced property saref:isActedUponBy.
- Introduced property saref:observes, as sub-property of saref:actsUpon. and generalization of measures.
- Introduced property saref:controls, as sub-property of saref:actsUpon. and generalization of saref:controlsProperty.
- Introduced property saref:isControlledBy.
- saref:measuresProperty is deprecated: will be deleted in the next release of SAREF
- saref:isMeasuredByDevice is deprecated: will be deleted in the next release of SAREF
- saref:isControlledByDevice is deprecated: will be deleted in the next release of SAREF
- saref:controlsProperty is deprecated: will be deleted in the next release of SAREF
- Definition of saref:Appliance is grounded on tasks and commodities.
- Definition of Sensor is simplified and grounded on saref:observes. Local restriction on saref:hasFunction is deleted.
- Definition of Actuator is simplified and grounded on saref:controls. Local restriction on saref:hasFunction is deleted.
- Definition of Meter is simplified and grounded on saref:observes. Local restriction on saref:hasFunction is deleted.
- Deprecated saref:HVAC for it is only an example.
- Deprecated saref:Switch for it is only an example.
- Deprecated saref:DoorSwitch for it is only an example.
- Deprecated saref:LightSwitch for it is only an example.
- Deprecated saref:SmokeSensor for it is only an example.
- Deprecated saref:TemperatureSensor for it is only an example.
- The following tasks are deprecated, and may be deleted in the next release of SAREF: saref:Cleaning, saref:Comfort, saref:Drying, saref:EnergyEfficiency, saref:Entertainment, saref:Lighting, saref:MeterReading, saref:Safety, saref:Washing, saref:WellBeing.
- Definition of saref:Commodity is simplified.
- saref:Electricity is deprecated: will be defined as an instance of saref:Commodity in the next release of SAREF
- saref:Gas is deprecated: will be defined as an instance of saref:Commodity in the next release of SAREF
- saref:Coal is deprecated: will be defined as an instance of saref:Commodity in the next release of SAREF
- saref:Water is deprecated: will be defined as an instance of saref:Commodity in the next release of SAREF
- New category of commodities saref:EnergyCommodity
- New category of commodities saref:NaturalResourceCommodity
- Introduced saref:consumes, saref:isConsumedBy, saref:produces, saref:isProducedBy, saref:stores, saref:isStoredBy.
- The definition and scope of usage for saref:Property is clarified. Axiomatization is simplified.
- applicability of saref:hasProperty is relaxed to also saref:FeatureKind
- Introduced saref:PropertyOfInterest to solved the ambiguity between generic vs specific properties.
- Introduced saref:hasPropertyOfInterest and saref:isPropertyOfInterestOf. Cannot use saref:hasProperty due to the combination of cardinality restrictions and sub-property chain axioms makes the ontology exist the OWL 2 DL prodile.
- Introduced saref:PropertyValue to simplify the association of a measure to a property, without always needing it to be a measurement made by a device.
- Clarified definition of saref:hasValue.
- Relaxed domain of saref:isMeasuredIn so it can apply to saref:PropertyValue as well as saref:Measurement. The new range will be enforced in the next release of SAREF.
- Introduced saref:hasPropertyValue.
- Introduced saref:isValueOfProperty.
- The following classes are deprecated and may be defined as instances of saref:Property in the next release of SAREF: saref:Energy, saref:Humidity, saref:Light, saref:Motion, saref:Occupancy, saref:Power, saref:Pressure, saref:Price, saref:Smoke, saref:Temperature
- saref:EnergyUnit is deprecated. Will be deleted in the next release of SAREF
- saref:IlluminanceUnit is deprecated. Will be deleted in the next release of SAREF
- saref:PowerUnit is deprecated. Will be deleted in the next release of SAREF
- saref:PressureUnit is deprecated. Will be deleted in the next release of SAREF
- saref:TemperatureUnit is deprecated. Will be deleted in the next release of SAREF
- Clarified and generalized definition of saref:State. Can now apply to all features of interest, not just devices.
- Relaxed domain of saref:hasState.
- Introduced saref:isStateOf.
- Introduced saref:StateOfInterest, parallel to saref:PropertyOfInterest.
- Introduced saref:hasStateOfInterest and saref:isStateOfInterestOf, parallel to saref:hasPropertyOfInterest and saref:isPropertyOfInterestOf.
- The following classes are deprecated and may be defined as instances of saref:State in the next release of SAREF: saref:CloseState, saref:MultiLevelState, saref:OffState, saref:OnOffState, saref:OnState, saref:OpenCloseState, saref:OpenState, saref:StartState, saref:StartStopState, saref:StopState.
- Simplified definition and axiomatization of saref:Function. Added examples.
- saref:SensingFunction is deprecated: may be defined as an instance of saref:Function in the next release of SAREF
- saref:hasSensingRange is deprecated together with saref:SensingFunction. And may be defined as an instance of saref:Property in the next release of SAREF
- saref:hasSensingRange is deprecated together with saref:SensingFunction. Use saref:hasDeviceKind instead.
- saref:EventFunction is deprecated: may be defined as an instance of saref:Function in the next release of SAREF
- saref:hasThresholdMeasurement is deprecated together with saref:EventFunction. And may be defined as an instance of saref:Property in the next release of SAREF
- saref:MeteringFunction is deprecated: may be defined as an instance of saref:Function in the next release of SAREF
- deprecated saref:hasMeterReading together with saref:Measurement and saref:MeteringFunction
- deprecated saref:hasMeterReadingType together with saref:MeteringFunction
- saref:LevelControlFunction, saref:StartStopFunction, saref:OpenCloseFunction, saref:OnOffFunction,  
- saref:ActuatingFunction are deprecated: may be defined as an instance of saref:Function in the next release of SAREF.
- Domain of saref:hasFunction is relaxed.
- Introduced saref:isFunctionOf.
- Introduced saref:FunctionOfInterest, parallel to saref:PropertyOfInterest.
- Simplified definition and axiomatization of saref:Command. Added examples.
- Domain of saref:hasCommand is relaxed to saref:Function or saref:FunctionOfInterest.
- Introduced mandatory and optional commands.
- Introduced saref:hasInput and saref:hasOutput.
- Introduced saref:CommandOfInterest, parallel to saref:PropertyOfInterest.
- The following classes are deprecated and may be defined as instances of saref:Command in the next release of SAREF: saref:ToggleCommand, saref:GetCommand, saref:NotifyCommand, saref:GetSensingDataCommand, saref:GetCurrentMeterValueCommand, saref:GetMeterDataCommand, saref:GetMeterHistoryCommand, saref:SetAbsoluteLevelCommand, saref:SetRelativeLevelCommand, saref:SetLevelCommand, saref:StepDownCommand, saref:StepUpCommand, saref:PauseCommand, saref:StartCommand, saref:StopCommand, saref:CloseCommand, saref:OpenCommand, saref:OnCommand, saref:OffCommand.
- Simplified definition of saref:Service. Added examples.
- Relaxed domain and range of saref:represents.
- Clarified definition of saref:offers.
- Clarified definition of saref:isOfferedBy.
- saref:SwitchOnService is deprecated for it is just an example. It may be deleted in the next release of SAREF
- Introduced saref:Operation and associated properties from oneM2M base ontology.
- Introduced saref:ProcedureExecution.
- Introduce saref:madeBy (resp. saref:madeExecution) as generalization of saref:measurementMadeBy (resp. saref:makesMeasurement).
- saref:makesMeasurement is deprecated as one of the properties related to saref:Measurement. It may be deleted in the next release of SAREF
- saref:makesMeasurement is deprecated as one of the properties related to saref:Measurement. It may be deleted in the next release of SAREF
- Introduced saref:hasResult as part of general will to make SAREF and SOSA/SSN converge.
- Introduced saref:hasResultTime as part of general will to make SAREF and SOSA/SSN converge.
- Introduced saref:hasPhenomenonTime as part of general will to make SAREF and SOSA/SSN converge.
- Tried to clarify definition of saref:hasTimestamp. Still unclear.
- Deprecated saref:Measurement in favour of saref:Observation, to generalize to observation of states and convergence with SOSA/SSN.
- Deprecated saref:isMeasurementOf together with saref:Measurement.
- Deprecated saref:isMeasurementOf together with saref:Measurement.
- Deprecated saref:isMeasurementOf together with saref:Measurement.
- Deprecated saref:isMeasurementOf together with saref:Measurement.
- Class saref:Profile has been re-specified, to take into account findings from SAREF4ENER V1.2.1.
- Relaxed domain of saref:hasProfile to saref:FeatureKind or saref:Device
- Deprecated saref:hasTime and use OWL Time instead whenever possible.
- Deprecated saref:Time and use OWL Time instead whenever possible.
- Deprecated saref:hasTypicalConsumption. May be defined as an instance of saref:Property in the next release of SAREF.
Maxime Lefrançois's avatar
Maxime Lefrançois committed
                          rdfs:comment """Information about changes to version 3.1.1:

NOTE:	In some cases, references have been added to indicate the issue in the ETSI Forge (https://saref.etsi.org/sources/saref-core/issues) where the change was discussed and implemented.

- Added the saref:FeatureOfInterest class and the properties used to relate it to saref:Measurement (saref:hasMeasurement and saref:isMeasurementOf) and to saref:Property (saref:hasProperty and saref:isPropertyOf).
- Added the saref:measurementMadeBy property as inverse of saref:makesMeasurement.
- The saref:relatesToProperty and saref:relatesToMeasurement properties are now inverse of each other.
- The range of saref:hasValue, which was defined as xsd:float, has been removed to support other datatypes for measurements.
- The range of datatype properties, which was defined as xsd:string, has been removed in order to support strings with language tags (rdf:langString). This affects saref:hasDescription, saref:hasManufacturer, saref:hasModel and saref:hasName, which now have implicitly a range of rdfs:Literal.
- The saref:hasName property has been removed and the use of rdfs:label is recommended. 
- The saref:hasDescription property has been deprecated and the use of rdfs:comment is recommended. 
- Too restrictive restrictions have been removed and in some cases the ontology documentation has been updated to reflect this: a saref:Command having at most one saref:hasDescription; a saref:Task being accomplished by at least one saref:Device; a saref:Device having a typical consumption of only energy or power; a saref:Commodity being measured in units of measure; restrictions on the values of saref:accomplishes that only covered specific use cases; universal restrictions on the saref:actsUpon property have been changed to existential ones; restrictions on the commands that a saref:Function may have, since there could be others not included in the defined enumerations; restrictive documentation of saref:EventFunction and saref:SmokeSensor.
- Bugs have been fixed: some devices (saref:DoorSwitch, saref:EnergyMeter, saref:LigthSwitch, saref:SmokeSensor, and saref:TemperatureSensor) were defined as subclass of a device and at the same time as consisting of such device; a saref:LightSwitch controls light and does not measure light, since it is an actuator; incorrect documentation of saref:OnState and saref:OffState.
- The saref:BuildingRelated, saref:EnergyRelated and saref:FunctionRelated classes have been removed, since the different extensions already classify the device types.
- The instances of the subclasses of saref:Command have been removed, since they represent examples.
- The instances of saref:UnitOfMeasure have been moved to examples.
- The classes related to the SAREF4ENER extension have been removed: saref:Generator, saref:Storage, saref:Load and saref:EnergyMeter.
- Some instances of saref:Device have been moved to examples: saref:WashingMachine, saref:LightingDevice, saref:MicroRenewable, saref:Multimedia, and saref:Network.
- Added domain and range axioms wherever the definition of a property unambiguously identifies the domain or the range of the property.
- The OWL Time ontology is not imported anymore.
- The documentation of some ontology terms has been updated for clarification.
- Language tags have been added to all labels and comments.
Maxime Lefrançois's avatar
Maxime Lefrançois committed
                          rdfs:comment """Information about changes to version 2.1.1:

- The classes and properties related to how to represent devices in building spaces (such as the saref:BuildingSpace class,  saref:BuildingObject class and saref:isLocatedIn property) have been removed from SAREF and incorporated  into the SAREF4BLDG extension related to buildings, including the reuse of the W3C? WGS84 geo positioning vocabulary.
- The saref:DeviceCategory and saref:FunctionCategory classes have been removed. Instead, the hierarchy of device categories has been implemented directly as subclasses of the saref:Device class.
- The information specific for energy efficiency has been moved to the SAREF4ENER extension. For example, the saref:Profile class has been redefined to accommodate only the properties that are general enough for any type of profile, not only for energy and power. Details on how to specifically model a power profile can be found in the SAREF4ENER extension. 
- The subclasses of the saref:Energy class  have been removed (i.e., Average Energy, Maximum Energy, Minimum Energy, Total Energy, HVAC Energy, Hot Water Energy and Lighting Energy).
- The saref:Property class has been split into two classes (saref:Property and saref:Measurement), as it is done in the SAREF4ENVI extension, in order to properly accommodate the distinction between the concept of property (an observable quality of something) and the concept of measurement (a concrete value observed for a property).
- Too restrictive cardinality restrictions have been revised, sometimes making them optional rather than mandatory (better to make properties mandatory in the extensions that specialize SAREF for a specific purpose, rather than restricting SAREF, whose purpose is more general). For example, definitions of units of measurement using an enumeration (owl:oneOf) were too restrictive because they did not allow using other units than those enumerated. Therefore, the individuals of each class are still there, but the owl:oneOf enumeration has been removed.
- The saref:UnitOfMeasure subclasses use individuals from the OM ontology for unit of measures, but this is not the only solution. It has been clarified in the comments that the OM ontology is an example, but other ontologies can be used.
- The global restrictions (rdfs:domain and rdfs:range) in object properties have been completely removed not to hinder interoperability. Object properties are now only restricted locally in the classes. 
- The subclasses of saref:Task have been transormed in individuals.
- The saref:hasTask property has been removed from the saref:Profile class to resolve an ambiguity with the saref:Task class.""" .
dcterms:issued a owl:AnnotationProperty .
dcterms:modified a owl:AnnotationProperty .
dcterms:source a owl:AnnotationProperty .
dcterms:creator a owl:AnnotationProperty .
dcterms:title a owl:AnnotationProperty .
dcterms:description a owl:AnnotationProperty .
dcterms:license a owl:AnnotationProperty .
dcterms:publisher a owl:AnnotationProperty .
vann:preferredNamespacePrefix a owl:AnnotationProperty .
vann:preferredNamespaceUri a owl:AnnotationProperty .
skos:broader a owl:ObjectProperty ;
    owl:inverseOf skos:narrower .
skos:narrower a owl:ObjectProperty ;
    owl:inverseOf skos:broader .
skos:note a owl:AnnotationProperty .
skos:example a owl:AnnotationProperty .
skos:scopeNote a owl:AnnotationProperty .
skos:historyNote a owl:AnnotationProperty .
s4syst:System a owl:Class .
time:TemporalEntity a owl:Class .
time:TemporalPosition a owl:Class .
# ETSI TS 103264 Clause 5.2: Feature kinds and features of interest

## Class saref:FeatureOfInterest represents any real world entity from which a property or a state may be acted upon, such as observed and controlled. An instance of saref:FeatureOfInterest represents one specific real world entity. 

saref:FeatureOfInterest a owl:Class ;
    rdfs:label "Feature of interest"@en ;
    rdfs:comment "A feature of interest represents any real world entity from which a property or a state may be acted upon, such as observed and controlled. An instance of saref:FeatureOfInterest represents one specific real world entity."@en ;
    skos:historyNote "V3.2.1: Definition of saref:FeatureOfInterest is clarified, not only properties are measured, but properties and states can be observed and controlled."@en ;
    skos:historyNote "V3.2.1: Definition of saref:FeatureOfInterest: Clarify it's a specific real world entity."@en ;
    skos:historyNote "V3.2.1: Definition of saref:FeatureOfInterest: allValuesFrom axioms are unnecessary and have been deleted."@en .

## Class saref:FeatureKind allows to describe kinds of features of interest, with common properties having the same value, and common states being the same. An instance of saref:FeatureKind represents an archetype of real world entities, for example to populate product catalogs. 

saref:FeatureKind a owl:Class ;
    rdfs:label "Feature kinds"@en ;
    rdfs:comment "Feature kinds allow to describe kinds of features of interest, with common properties having the same value, and common states being the same. An instance of saref:FeatureKind represents an archetype of real world entities, for example to populate product catalogs."@en ;
    skos:historyNote "V3.2.1: Introduced class saref:FeatureKind"@en .
## Feature kinds can be organized in a taxonomy using OPs skos:narrower and skos:broader.

saref:FeatureKind 
    skos:historyNote "V3.2.1: Use SKOS to organize generic classes in taxonomies."@en ;
    rdfs:subClassOf 
        [   a owl:Restriction ;
            owl:onProperty skos:broader ;
            owl:allValuesFrom saref:FeatureKind ] ,
        [   a owl:Restriction ;
            owl:onProperty skos:narrower ;
            owl:allValuesFrom saref:FeatureKind ] .

## A feature of interest can be linked to its kind(s) using OP saref:hasFeatureKind.

saref:hasFeatureKind a owl:ObjectProperty ;
    skos:historyNote "V3.2.1: Introduce hasClassKind for Class is Feature, Device, Property, State, Function, Command."@en ;
    rdfs:label "has feature kind"@en ;
    rdfs:comment "links a feature of interest to its kind, a feature kind"@en ;
    rdfs:domain saref:FeatureOfInterest ;
    rdfs:range saref:FeatureKind .

## Feature of interest inherit broader feature kinds.

saref:hasFeatureKind
    owl:propertyChainAxiom ( saref:hasFeatureKind skos:broader ) .

## A feature kind (resp. a feature of interest) may consist of (OP saref:consistsOf) other feature kinds (resp. features of interest).

saref:consistsOf a owl:ObjectProperty ;
    skos:historyNote "V3.2.1: Add local restrictions on consistsOf on feature of interest"@en ;
    rdfs:comment "A relationship indicating a composite entity that consists of other entities (e.g., a temperature/humidity sensor that consists of a temperature sensor and a humidity sensor)"@en ;
    rdfs:label "consists of"@en .

saref:FeatureKind rdfs:subClassOf [ 
    a owl:Restriction ; 
    owl:onProperty saref:consistsOf ; 
    owl:allValuesFrom saref:FeatureKind ] .

saref:FeatureOfInterest rdfs:subClassOf [ 
    a owl:Restriction ; 
    owl:onProperty saref:consistsOf ; 
    owl:allValuesFrom saref:FeatureOfInterest ] .


## The model and the manufacturer of a saref:FeatureKind or a saref:FeatureOfInterest can be explicited using DPs saref:hasModel and saref:hasManufacturer, respectively. 

saref:hasDescription a owl:DatatypeProperty ;
    rdfs:label "has description"@en ;
    owl:deprecated true ; 
    rdfs:comment "DEPRECATED: The use of rdfs:comment is recommended instead."@en ;
    rdfs:comment "A relationship providing a description of an entity (e.g., device). The value is expected to be a string or a string with language tag."@en .

saref:hasManufacturer a owl:DatatypeProperty ;
    rdfs:label "has manufacturer"@en ;
    rdfs:comment "A relationship identifying the manufacturer of an entity (e.g., device). The value is expected to be a string or a string with language tag."@en ;
    skos:historyNote "V3.2.1: Defined domain of saref:hasManufacturer to union of feature kind and feature of interest."@en ;
    rdfs:domain [ 
        a owl:Class ; 
        owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest ) ] .

saref:hasModel a owl:DatatypeProperty ;
    rdfs:label "has model"@en ;
    rdfs:comment "A relationship identifying the model of an entity (e.g., device). The value is expected to be a string or a string with language tag."@en ;
    skos:historyNote "V3.2.1: Defined domain of saref:hasModel to union of feature kind and feature of interest."@en ;
    rdfs:domain [
        a owl:Class ;
        owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest ) ] .
## Class saref:Device represents any a tangible object designed to accomplish a particular task by performing one or more functions. An instance of saref:Device represents one specific real world entity.

saref:Device a owl:Class ;
    rdfs:comment "A tangible object designed to accomplish a particular task. In order to accomplish this task, the device performs one or more functions. An instance of saref:Device represents one specific real world entity."@en ;
    skos:example "For example, a washing machine is designed to wash (task) and to accomplish this task it performs a start and stop function."@en ;
    skos:example "Examples of devices are a light switch, a temperature sensor, an energy meter, a water flow meter, and a laundry dryer. A laundry dryer is designed to dry laundry, and to accomplish this task it has a start/stop function."@en ;
    skos:historyNote "V3.2.1: Most axioms on saref:Device were useless and have been deleted."@en ;
    skos:historyNote "V3.2.1: definition of saref:Device clarifies it's a real world entity."@en ;
## Devices are also systems (s4syst:System) and features of interest (saref:FeatureOfInterest).

saref:Device
    skos:historyNote "V3.2.1: saref:Device is explicitly a subclass of saref:FeatureOfInterest and s4syst:System."@en ;
    rdfs:subClassOf saref:FeatureOfInterest , s4syst:System .

## A device can be linked to its feature kinds using OP saref:hasDeviceKind. Kinds of devices describe models of devices, with common properties having the same value, common states being the same, common functions, and common services. OP saref:hasDeviceKind  is a sub-property of OP saref:hasFeatureKind.

saref:hasDeviceKind a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:hasFeatureKind ;
    rdfs:label "has device kind"@en ;
    rdfs:comment "Links a device to its kind, a feature kind. Kinds of devices describe models of devices, with common properties having the same value, common states being the same, common functions, and common services."@en ;
    rdfs:domain saref:Device ;
    rdfs:range saref:FeatureKind .

## A device can act upon (OP saref:actsUpon) features, properties, or states. 
saref:actsUpon a owl:ObjectProperty ;
    rdfs:label "acts upon"@en ;
    rdfs:comment "Links a device, function, command, or procedure execution, to the feature, property, or state, it acts upon."@en ;
    skos:historyNote "V3.2.1: saref:actsUpon now holds not only between a command and a state. It generalizes actsUpon, observes, controls. Domain and range are unions of several classes."@en ;
    rdfs:domain
        [   a owl:Class ;
            owl:unionOf (
                saref:FeatureKind
Maxime Lefrançois's avatar
Maxime Lefrançois committed
                saref:FeatureOfInterest
                saref:Function
                saref:FunctionOfInterest
                saref:Command
                saref:CommandOfInterest
                saref:ProcedureExecution ) ] ;
    rdfs:range
        [   a owl:Class ;
            owl:unionOf (
                saref:FeatureKind
                saref:FeatureOfInterest
                saref:Property
                saref:PropertyOfInterest
                saref:State
                saref:StateOfInterest ) ] .
saref:isActedUponBy a owl:ObjectProperty ;
    owl:inverseOf saref:actsUpon ;
    rdfs:label "is acted upon by"@en ;
    rdfs:comment "Links a feature, property, or state, to the device, function, command, or procedure execution, that acts on it."@en ;
    skos:historyNote "V3.2.1: Introduced property saref:isActedUponBy."@en ;
    rdfs:domain 
        [   a owl:Class ; 
            owl:unionOf ( 
                saref:FeatureKind 
                saref:FeatureOfInterest 
                saref:Property 
                saref:PropertyOfInterest 
                saref:State 
                saref:StateOfInterest ) ] ;
    rdfs:range
        [   a owl:Class ;
            owl:unionOf (
                saref:FeatureKind
                saref:Device
                saref:Function
                saref:FunctionOfInterest
                saref:Command
                saref:CommandOfInterest
                saref:ProcedureExecution ) ] .


saref:observes a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:actsUpon ;
    owl:inverseOf saref:isObservedBy ;
    rdfs:label "observes"@en ;
    rdfs:comment "Links a device, function, command, or procedure execution, to the feature, property, or state, it observes."@en ;
    skos:historyNote "V3.2.1: Introduced property saref:observes, as sub-property of saref:actsUpon. and generalization of measures."@en ;
    rdfs:domain
        [   a owl:Class ;
            owl:unionOf (
                saref:FeatureKind
                saref:Sensor
                saref:Function
                saref:FunctionOfInterest
                saref:Command
                saref:CommandOfInterest
                saref:Observation ) ] .

saref:isObservedBy a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:isActedUponBy ;
    owl:inverseOf saref:observes ;
    rdfs:label "is observed by"@en ;
    rdfs:comment "Links a feature, property, or state, to the device, function, command, or procedure execution, that observes it."@en .

saref:controls a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:actsUpon ;
    owl:inverseOf saref:isControlledBy ;
    rdfs:label "controls"@en ;
    rdfs:comment "Links a device, function, command, or procedure execution, to the feature, property, or state, it controls."@en ;
    skos:historyNote "V3.2.1: Introduced property saref:controls, as sub-property of saref:actsUpon. and generalization of saref:controlsProperty."@en ;
    rdfs:domain
        [   a owl:Class ;
            owl:unionOf (
                saref:FeatureKind
                saref:Actuator
                saref:Function
                saref:FunctionOfInterest
                saref:Command
                saref:CommandOfInterest
                saref:Actuation ) ] .

saref:isControlledBy a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:isActedUponBy ;
    owl:inverseOf saref:controls ;
    rdfs:label "is controlled by"@en ;
    rdfs:comment "Links a feature, property, or state, to the device, function, command, or procedure execution, that controls it."@en ;
    skos:historyNote "V3.2.1: Introduced property saref:isControlledBy."@en .


saref:measuresProperty a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:observes ;
    skos:historyNote "V3.2.1: saref:measuresProperty is deprecated: will be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A relationship specifying the property that can be measured by a certain device"@en ;
    rdfs:domain saref:Device ;
    rdfs:range saref:Property ;
    rdfs:label "measures property"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:isMeasuredByDevice a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:isObservedBy ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:isMeasuredByDevice is deprecated: will be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A relationship specifying the devices that can measure a certain property"@en ;
    rdfs:domain saref:Property ;
    rdfs:range saref:Device ;
    rdfs:label "is measured by device"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:isControlledByDevice a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:isControlledBy ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:isControlledByDevice is deprecated: will be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A relationship specifying the devices that can control a certain property"@en ;
    rdfs:domain saref:Property ;
    rdfs:range saref:Device ;
    rdfs:label "is controlled by device"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:controlsProperty a owl:ObjectProperty ;
    rdfs:subPropertyOf saref:controls ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:controlsProperty is deprecated: will be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A relationship specifying the property that can be controlled by a certain device"@en ;
    rdfs:domain saref:Device ;
    rdfs:range saref:Property ;
    rdfs:label "controls property"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed


## SAREF Core provides some examples of classes of devices including appliances, sensors, actuators, and meters.

saref:Appliance a owl:Class ;
    rdfs:subClassOf saref:Device ;
    rdfs:comment "A device designed to accomplish a particular task for occupant use. It consumes, produces, or stores, some commodity."@en ;
    rdfs:label "Appliance"@en ;
    rdfs:subClassOf [ a owl:Restriction ; owl:onProperty saref:isUsedFor ; owl:minCardinality 1 ] ;
    skos:historyNote "V3.2.1: Definition of saref:Appliance is grounded on tasks and commodities."@en .

saref:Sensor a owl:Class ;
    rdfs:subClassOf saref:Device ;
    rdfs:comment "A device designed to observe one or more properties or states of one or more features of interest."@en ;
    rdfs:label "Sensor"@en ;
    rdfs:subClassOf [ a owl:Restriction ; owl:onProperty saref:observes ; owl:minCardinality 1 ] ;
    skos:historyNote "V3.2.1: Definition of Sensor is simplified and grounded on saref:observes. Local restriction on saref:hasFunction is deleted."@en .

saref:Actuator a owl:Class ;
    rdfs:subClassOf saref:Device ;
    rdfs:comment "A device designed to control one or more properties or states of one or more features of interest."@en ;
    rdfs:label "Actuator"@en ;
    rdfs:subClassOf [ a owl:Restriction ; owl:onProperty saref:controls ; owl:minCardinality 1 ] ;
    skos:historyNote "V3.2.1: Definition of Actuator is simplified and grounded on saref:controls. Local restriction on saref:hasFunction is deleted."@en .


saref:Meter a owl:Class ;
    rdfs:subClassOf saref:Device ;
    rdfs:comment "A device designed to observe and measure one or more properties of one or more features of interest."@en ;
    rdfs:label "Meter"@en ;
    rdfs:subClassOf [ a owl:Restriction ; owl:onProperty saref:observes ; owl:minCardinality 1 ] ;
    skos:historyNote "V3.2.1: Definition of Meter is simplified and grounded on saref:observes. Local restriction on saref:hasFunction is deleted."@en .


## Deprecated

saref:HVAC a owl:Class ;
    rdfs:subClassOf saref:Device ;
    rdfs:comment "Heating, Ventilation and Air Conditioning (HVAC) device that provides indoor environmental comfort. A saref:HVAC is typically used to accomplish saref:Comfort."@en ;
    rdfs:label "HVAC"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: Deprecated saref:HVAC for it's only an example."@en .

saref:Switch a owl:Class ;
    rdfs:subClassOf saref:Actuator ;
    rdfs:comment "A device of category saref:Actuator that performs an actuating function of type saref:OnOffFunction or saref:OpenCloseFunction"@en ;
    rdfs:label "Switch"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: Deprecated saref:Switch for it's only an example."@en .

saref:DoorSwitch a owl:Class ;
    rdfs:subClassOf saref:Switch ;
    rdfs:comment "A switch that performs the saref:OpenCloseFunction, is used for controlling a door, and can be found in the state saref:OpenCloseState. A saref:DoorSwitch is typically used to accomplish saref:Safety."@en ;
    rdfs:label "Door switch"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: Deprecated saref:DoorSwitch for it's only an example."@en .

saref:LightSwitch a owl:Class ;
    rdfs:subClassOf saref:Switch ;
    rdfs:comment "A switch that performs the saref:OnOffFunction, controls the property saref:Light, and can be found in the state saref:OnOffState. It can offer a switch on service. A saref:LightSwitch is typically used to accomplish saref:Lighting."@en ;
    rdfs:label "Light switch"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: Deprecated saref:LightSwitch for it's only an example."@en .

saref:SmokeSensor a owl:Class ;
    rdfs:subClassOf saref:Sensor ;
    rdfs:comment "A sensor that performs the saref:SensingFunction and the saref:EventFunction, and is used for the purpose of sensing a property of type saref:Smoke. A saref:SmokeSensor is typically used to saref:accomplish saref:Safety."@en ;
    rdfs:label "Smoke sensor"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: Deprecated saref:SmokeSensor for it's only an example."@en .

saref:TemperatureSensor a owl:Class ;
    rdfs:subClassOf saref:Sensor ;
    rdfs:comment "A sensor that is used for the purpose of sensing a property of type saref:Temperature. A saref:TemperatureSensor is typically used to saref:accomplish saref:Comfort."@en ;
    rdfs:label "Temperature sensor"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: Deprecated saref:TemperatureSensor for it's only an example."@en .
# ETSI TS 103264 Clause 5.4: Tasks
Maxime Lefrançois's avatar
Maxime Lefrançois committed

## Class saref:Task represents goals for which a device is designed, from a user perspective. 

    rdfs:label "Task"@en ;
    rdfs:comment "The goal for which a device is designed, from a user perspective."@en ;
    skos:example "For example, a washing machine is designed for the task of washing."@en ;
    skos:note "Tasks can be accomplished by devices (saref:isAccomplishedBy)."@en .
## Tasks can be organized in a taxonomy using OPs skos:narrower and skos:broader.
saref:Task rdfs:subClassOf 
        [   a owl:Restriction ;
            owl:onProperty skos:broader ;
            owl:allValuesFrom saref:Task ] ,
        [   a owl:Restriction ;
            owl:onProperty skos:narrower ;
            owl:allValuesFrom saref:Task ] .
## Deprecated
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:Cleaning a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Cleaning is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "Cleaning"@en .
saref:Comfort a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Comfort is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "Comfort"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:Drying a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Drying is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "Drying"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:EnergyEfficiency a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:EnergyEfficiency is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "EnergyEfficiency"@en .
saref:Entertainment a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Entertainment is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "Entertainment"@en .
saref:Lighting a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Lighting is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "Lighting"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:MeterReading a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:MeterReading is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "Meter reading"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:Safety a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Safety is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "Safety"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:Washing a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Washing is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "Washing"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:WellBeing a saref:Task ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:WellBeing is deprecated: may be deleted in the next major revision of SAREF"@en ;
    rdfs:comment "A type of task for which a device is designed"@en ;
    rdfs:label "WellBeing"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

## Device kinds and devices can be linked to the one or more tasks they are designed to accomplish with OP saref:accomplishes. 
## Property saref:accomplishes can also apply to other classes such as functions, commands, and procedure executions.

saref:accomplishes a owl:ObjectProperty ;
    owl:inverseOf saref:isAccomplishedBy ;
    rdfs:label "accomplishes"@en ;
    rdfs:comment "Links a certain entity (e.g., a device) to the task it accomplishes."@en ;
    rdfs:range saref:Task .

saref:isAccomplishedBy a owl:ObjectProperty ;
    owl:inverseOf saref:accomplishes ;
    rdfs:label "is accomplished by"@en ;
    rdfs:comment "A relationship identifying an entity (e.g., a device) that can accomplish a task."@en ;
    rdfs:domain saref:Task .

# ETSI TS 103264 Clause 5.5: Commodities
Maxime Lefrançois's avatar
Maxime Lefrançois committed

## Class saref:Commodity represents marketable items which may be supplied without qualitative differentiation. Commodities may be consumed, produced, or stored, by some feature of interest or device. 

saref:Commodity a owl:Class ;
    rdfs:comment "A marketable item which may be supplied without qualitative differentiation."@en ;
    skos:note "SAREF refers to energy commodities such as electricity, gas, coal and oil."@en ;
    skos:historyNote "V3.2.1: Definition of saref:Commodity is simplified."@en ;
    rdfs:label "Commodity"@en .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

## Commodities can be organized in a taxonomy using OPs skos:narrower and skos:broader.

saref:Commodity rdfs:subClassOf 
        [   a owl:Restriction ;
            owl:onProperty skos:broader ;
            owl:allValuesFrom saref:Commodity ] ,
        [   a owl:Restriction ;
            owl:onProperty skos:narrower ;
            owl:allValuesFrom saref:Commodity ] .

## Deprecated: Commodity classes will be turned into instances in the next major revision of SAREF

saref:Electricity a owl:Class ;
    rdfs:subClassOf saref:Commodity ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Electricity is deprecated: will be defined as an instance of saref:Commodity in the next major revision of SAREF"@en ;
    rdfs:comment "A type of energy commodity"@en ;
    rdfs:label "Electricity"@en .
saref:Gas a owl:Class ;
    rdfs:subClassOf saref:Commodity ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Gas is deprecated: will be defined as an instance of saref:Commodity in the next major revision of SAREF"@en ;
    rdfs:comment "A type of energy commodity"@en ;
    rdfs:label "Gas"@en .
    rdfs:subClassOf saref:Commodity ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Coal is deprecated: will be defined as an instance of saref:Commodity in the next major revision of SAREF"@en ;
    rdfs:comment "A type of commodity"@en ;
    rdfs:label "Coal"@en .

saref:Water a owl:Class ;
    rdfs:subClassOf saref:Commodity ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Water is deprecated: will be defined as an instance of saref:Commodity in the next major revision of SAREF"@en ;
    rdfs:comment "A type of commodity"@en ;
    rdfs:label "Water"@en .

## SAREF Core defines the category of energy commodities that groups electricity, gas, propane (narrower than gas), coal. It furthermore defines the category of natural resource commodity.
saref:EnergyCommodity a owl:Class ;
    rdfs:subClassOf saref:Commodity ;
    rdfs:label "Energy Commodity"@en ;
    rdfs:comment "The class of energy commodities"@en ;
    skos:historyNote "V3.2.1: New category of commodities saref:EnergyCommodity"@en .

saref:NaturalResourceCommodity a owl:Class ;
    rdfs:subClassOf saref:Commodity ;
    rdfs:label "Natural Resource Commodity"@en ;
    rdfs:comment "The class of natural resource commodities"@en ;
    skos:historyNote "V3.2.1: New category of commodities saref:NaturalResourceCommodity"@en .

## the following entities will be introduced in the next major revision of SAREF

# saref:Electricity a saref:EnergyCommodity ;
#     rdfs:comment "The electricity energy commodity"@en ;
#     rdfs:label "Electricity"@en .

# saref:Gas a saref:EnergyCommodity ;
#     rdfs:comment "The gas energy commodity"@en ;
#     rdfs:label "Gas"@en .

# saref:Propane a saref:EnergyCommodity ;
#     skos:broader saref:Gas ;
#     rdfs:comment "The propane energy commodity"@en ;
#     rdfs:label "Propane"@en .

# saref:Coal a saref:EnergyCommodity ;
#     rdfs:comment "The coal energy commodity"@en ;
#     rdfs:label "Coal"@en .

# saref:Water a saref:NaturalResourceCommodity ;
#     rdfs:comment "The water natural resource commodity"@en ;
#     rdfs:label "Water"@en .


saref:isUsedFor a owl:ObjectProperty ;
    owl:deprecated true ;
    skos:scopeNote "V3.2.1: saref:isUsedFor is deprecated for its name is not clear. For example if a device consumes electricity, it doesn't mean this is what it is used for."@en ;
    rdfs:comment "Links a feature kind, feature of interest, or device, to the commodity it is used for"@en ;
    rdfs:label "is used for"@en ;
    rdfs:domain [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest saref:Device ) ] ;
    rdfs:range saref:Commodity .

saref:consumes a owl:ObjectProperty ; 
    rdfs:subPropertyOf saref:isUsedFor ;
    owl:inverseOf saref:isConsumedBy ;
    rdfs:label "consumes"@en ;
    rdfs:comment "Links a feature kind, feature of interest, or device, to the commodity it consumes"@en ;
    skos:historyNote "V3.2.1: Introduced saref:consumes, saref:isConsumedBy, saref:produces, saref:isProducedBy, saref:stores, saref:isStoredBy."@en .
saref:isConsumedBy a owl:ObjectProperty ; 
    owl:inverseOf saref:consumes ;
    rdfs:label "is consumed by"@en ;
    rdfs:comment "Links a commodity to the feature kind, feature of interest, or device, that consumes it"@en .

saref:produces a owl:ObjectProperty ; 
    rdfs:subPropertyOf saref:isUsedFor ;
    owl:inverseOf saref:isProducedBy ;
    rdfs:label "produces"@en ;
    rdfs:comment "Links a feature kind, feature of interest, or device, to the commodity it produces"@en .

saref:isProducedBy a owl:ObjectProperty ; 
    owl:inverseOf saref:produces ;
    rdfs:label "is produced by"@en ;
    rdfs:comment "Links a commodity to the feature kind, feature of interest, or device, that produces it"@en .

saref:stores a owl:ObjectProperty ; 
    rdfs:subPropertyOf saref:isUsedFor ;
    owl:inverseOf saref:isStoredBy ;
    rdfs:label "stores"@en ;
    rdfs:comment "Links a feature kind, feature of interest, or device, to the commodity it stores"@en .

saref:isStoredBy a owl:ObjectProperty ; 
    owl:inverseOf saref:stores ;
    rdfs:label "is stored by"@en ;
    rdfs:comment "Links a commodity to the feature kind, feature of interest, or device, that stores it"@en .

# ETSI TS 103264 Clause 5.6: Properties, properties of interest, and property values

## In SAREF, properties refer to the identifiable qualities of features of interest that can be acted upon by devices, such as observed or controlled. While properties can apply to different features of interest, properties of interest are specific to a feature of interest. Property values describe the value for a property.
# ETSI TS 103264 Clause 5.6.2: Properties

## An instance of saref:Property can apply to different features of interest. 
saref:Property a owl:Class ;
    rdfs:label "Property"@en ;
    rdfs:comment "Identifiable qualities of features of interest that can be acted upon by devices, such as observed or controlled. A property can apply to different features of interest."@en ;
    skos:historyNote "Until SAREF V3.1.1, there was an ambiguity between whether properties should be specific or generic to features of interest. This ambiguity has been solved in SAREF V3.2.1, and the new modeling will be enforced in the next major revision of SAREF."@en ;
    skos:note "Concepts from existing code lists, vocabularies, and taxonomies, may be used as instances of saref:Property."@en ;
    skos:example "Air temperature, pressure, luminance, etc. are all properties."@en ;
    skos:example """Two examples using the QUDT Quantity Kind vocabulary, and the British Oceanographic Data Centre Parameter Usage Vocabulary.

<https://qudt.org/2.1/vocab/quantitykind/ActiveEnergy> a saref:Property ;
    rdfs:label "Active Energy"@en ;
    rdfs:comment "\"Active Energy\" is the electrical energy transformable into some other form of energy."@en .

<http://vocab.nerc.ac.uk/collection/P01/current/CDTSZZ01/> a saref:Property ;
    skos:prefLabel "Absolute temperature standard deviation of the atmosphere by dry bulb thermometer"@en .
"""@en ;
    skos:historyNote "V3.2.1: The definition and scope of usage for saref:Property is clarified. Axiomatization is simplified."@en .
## Properties can be organized in a taxonomy using OPs skos:narrower and skos:broader.
saref:Property rdfs:subClassOf 
        [   a owl:Restriction ;
            owl:onProperty skos:broader ;
            owl:allValuesFrom saref:Property ] ,
        [   a owl:Restriction ;
            owl:onProperty skos:narrower ;
            owl:allValuesFrom saref:Property ] .
## The OP saref:hasProperty may be used to link a feature kind or feature of interest to its properties. Its inverse is saref:isPropertyOf.

saref:hasProperty a owl:ObjectProperty ;
    owl:inverseOf saref:isPropertyOf ;
    rdfs:label "has property"@en ;
    rdfs:comment "Links a feature kind or a feature of interest to one of its properties."@en ;
    skos:historyNote "V3.2.1: applicability of saref:hasProperty is relaxed to also saref:FeatureKind"@en ;
    rdfs:domain [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest ) ] ;
    rdfs:range saref:Property .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

saref:isPropertyOf a owl:ObjectProperty ;
    owl:inverseOf saref:hasProperty ;
    rdfs:label "is property of"@en ;
    rdfs:comment "Links a property to the feature kind or feature of interest it is a property of."@en ;
    rdfs:domain saref:Property ;
    rdfs:range [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest ) ] .

## Feature kinds inherit the properties of their broader feature kinds.

saref:hasProperty
    owl:propertyChainAxiom ( skos:broader saref:hasProperty ) .

## Features of interest inherit the properties of their feature kinds.

saref:hasProperty
    owl:propertyChainAxiom ( saref:hasFeatureKind saref:hasProperty ) .


# ETSI TS 103264 Clause 5.6.3: Properties of interest

## An instance of saref:PropertyOfInterest is specific to a feature of interest. It is inherent to and cannot exist without that feature of interest. 

saref:PropertyOfInterest a owl:Class ;
    rdfs:label "Property of Interest"@en ;
    rdfs:comment "Identifiable qualities of features of interest that can be acted upon by devices, such as observed or controlled. An instance of saref:PropertyOfInterest is specific to a feature of interest. It is inherent to and cannot exist without that feature of interest."@en ;
    skos:note "A property of interest is the property of (OP saref:isPropertyOfInterestOf) exactly one feature of interest."@en ;
    skos:note "Per convention, the IRI of properties of interest should consist of the IRI of their feature of interest, suffixed with a fragment identifier #{P} where {P} refers to the name of the property."@en ;
    skos:example """The air temperature of the atmosphere sample at a certain location and altitude, the received signal strength indicator of an wireless IoT connection, the luminance of the ETSI ATHENA amphitheatre.
<etsi_premises/athena#luminance> a saref:PropertyOfInterest ;
    saref:isPropertyOfInterestOf <etsi_premises/athena> ;
    saref:hasPropertyKind saref:Luminance ;
    rdfs:comment "The luminance of amphitheatre ATHENA"@en .
    skos:note """Properties of interest need not always be explicited. It depends on the use case. Typically, properties of interest are useful in applications, where the association between a feature of interest and a property (i.e., the property of interest) needs to be identified and related to other properties of interest."""@en ;
    skos:historyNote "V3.2.1: Introduced saref:PropertyOfInterest to solved the ambiguity between generic vs specific properties."@en .

## The OP saref:hasPropertyOfInterest may be used to link a feature of interest to its properties of interest. Its inverse is saref:isPropertyOfInterestOf and is functional.

saref:hasPropertyOfInterest a owl:ObjectProperty ;
    owl:inverseOf saref:isPropertyOfInterestOf ;
    rdfs:comment "Links a feature of interest to one of its properties of interest."@en ;
    rdfs:label "has property of interest"@en ;
    rdfs:domain saref:FeatureOfInterest ;
    rdfs:range saref:PropertyOfInterest ;
    skos:historyNote "V3.2.1: Introduced saref:hasPropertyOfInterest and saref:isPropertyOfInterestOf. Cannot use saref:hasProperty due to the combination of cardinality restrictions and sub-property chain axioms makes the ontology exist the OWL 2 DL prodile."@en .

saref:isPropertyOfInterestOf a owl:ObjectProperty , owl:FunctionalProperty ;
    owl:inverseOf saref:hasPropertyOfInterest ;
    rdfs:comment "Links a property of interest to the feature of interest it is a property of."@en ;
    rdfs:label "is property of interest of"@en ;
    rdfs:domain saref:PropertyOfInterest ;
    rdfs:range saref:FeatureOfInterest .

## A property of interest is the property of (OP saref:isPropertyOfInterestOf) exactly one feature of interest.

saref:PropertyOfInterest 
    rdfs:subClassOf 
        [   a owl:Restriction ;
            owl:onProperty saref:isPropertyOfInterestOf ;
            owl:cardinality 1
        ] .

## A property of interest can be linked to its kind(s) using OP saref:hasPropertyKind.

saref:hasPropertyKind a owl:ObjectProperty ;
Maxime Lefrançois's avatar
Maxime Lefrançois committed
    rdfs:label "has property kind"@en ;
    rdfs:comment "links a property of interest to its kind, a property."@en ;
    rdfs:domain saref:PropertyOfInterest ;
    rdfs:range saref:Property .

## Properties of interest inherit broader properties.

saref:hasPropertyKind
    owl:propertyChainAxiom ( saref:hasPropertyKind skos:broader ) .

## Features of interest inherit the property kinds of their property of interest.

saref:hasProperty
    owl:propertyChainAxiom ( saref:hasPropertyOfInterest saref:hasPropertyKind ) .
# ETSI TS 103264 Clause 5.6.4: Property values

## Class saref:PropertyValue describes the value for a property. The property value is linked to its value expressed as an RDF literal (DP saref:hasValue), optionally to the unit of measurement (OP saref:isMeasuredIn), and optionally to the properties or properties of interest it is a value of (OP saref:isValueOfProperty). 

saref:PropertyValue a owl:Class ;
    rdfs:label "Property Value"@en ;
    rdfs:comment "Describes the value for a property. The property value is linked to its value expressed as an RDF literal (DP saref:hasValue), optionally to the unit of measurement (OP saref:isMeasuredIn), and optionally to the properties or properties of interest it is a value of (OP saref:isValueOfProperty)."@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty saref:hasValue ;
            owl:cardinality 1 ] ,
        [ a owl:Restriction ;
            owl:onProperty saref:isMeasuredIn ;
            owl:maxCardinality 1 ] ;
    skos:historyNote "V3.2.1: Introduced saref:PropertyValue to simplify the association of a measure to a property, without always needing it to be a measurement made by a device."@en .
saref:hasValue a owl:DatatypeProperty ;
    rdfs:comment "Value of a property value expressed as an RDF literal. Note that, even if decimal values are expected, values could use other datatypes."@en ;
    rdfs:label "has value"@en ;
    skos:historyNote "V3.2.1: Clarified definition of saref:hasValue."@en .
## The range of saref:isMeasuredIn is defined as saref:UnitOfMeasure. 

saref:isMeasuredIn a owl:ObjectProperty ;
    rdfs:comment "A relationship identifying the unit of measure used for a certain entity."@en ;
    # rdfs:domain saref:Measurement ; # relaxed
    rdfs:range saref:UnitOfMeasure ;
    rdfs:label "is measured in"@en ;
    skos:historyNote "V3.2.1: Relaxed domain of saref:isMeasuredIn so it can apply to saref:PropertyValue as well as saref:Measurement. The new range will be enforced in the next major revision of SAREF."@en .

saref:UnitOfMeasure a owl:Class ;
    rdfs:comment "The unit of measure is a standard for measurement of a quantity, such as a Property."@en ;
    rdfs:label "Unit of measure"@en ;
    skos:example "For example, consumption 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 \"Watt\"."@en ;
    skos:note "Our definition is based on the definition of unit of measure in the Ontology of units of Measure (OM)."@en ;
    skos:note "Concepts from existing code lists, vocabularies, and taxonomies, may be used as instances of saref:UnitOfMeasure. For example the QUDT Unit vocabulary"@en .
## The OP saref:hasPropertyValue links a feature kind, a feature of interest, or a property of interest, to a property value.
saref:hasPropertyValue a owl:ObjectProperty ;
    rdfs:label "has property value"@en ;
    rdfs:comment "Links a feature kind, a feature of interest, or a property of interest, to a property value."@en ;
    rdfs:domain [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest saref:PropertyOfInterest ) ] ;
    rdfs:range saref:PropertyValue ;
    skos:historyNote "V3.2.1: Introduced saref:hasPropertyValue."@en .

## The property values are inherited in the hierarchy of feature kinds. This enables to incrementally construct prototypical descriptions of features of interest.

saref:hasPropertyValue
    owl:propertyChainAxiom ( skos:broader saref:hasPropertyValue ) .

## A feature of interest does not inherit the property values of its kinds. There may be multiple reasons why the property value of a feature of interest is different from that of its prototypical descriptions. For example, it may be caused by a defect, a deterioration, or a customization.

## The OP saref:isValueOfProperty links a property value to the properties and properties of interest it is a value of. 

saref:isValueOfProperty a owl:ObjectProperty ;
    rdfs:label "is value of property"@en ;
    rdfs:comment "Links a property value to the property or property of interest it is a value of."@en ;
    rdfs:domain [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest saref:PropertyOfInterest ) ] ;
    rdfs:range saref:PropertyValue ;
    skos:historyNote "V3.2.1: Introduced saref:isValueOfProperty."@en .

## A property value about a property of interest is also a property value of its property kinds.

saref:isValueOfProperty
    owl:propertyChainAxiom ( saref:isValueOfProperty saref:hasPropertyKind ) .
## Note that saref:hasPropertyValue and saref:isValueOfProperty are not inverse properties.

## Deprecated properties

saref:Energy a owl:Class ;
    rdfs:subClassOf saref:Property ;
    rdfs:comment "A saref:Property related to some measurements that are characterized by a certain value measured in an energy unit (such as Kilowatt_Hour or Watt_hour). Furter specializations of the saref:Energy class can be found in the SAREF4ENER extension, where classes such as EnergyMax, EnergyMin and EnergyExpected are defined. "@en ;
    rdfs:label "Energy"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Energy is deprecated: may be defined as an instance of saref:Property in the next major revision of SAREF"@en .

saref:Humidity a owl:Class ;
     rdfs:subClassOf saref:Property ;
     rdfs:comment "A saref:Property related to some measurements that are characterized by a certain value that is measured in a humidity unit"@en ;
     rdfs:label "Humidity"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Humidity is deprecated: may be defined as an instance of saref:Property in the next major revision of SAREF"@en .

saref:Light a owl:Class ;
    rdfs:subClassOf saref:Property ;
    rdfs:comment "A saref:Property related to some measurements that are characterized by a certain value that is measured in a illuminance unit (lux)"@en ;
    rdfs:label "Light"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Light is deprecated: may be defined as an instance of saref:Property in the next major revision of SAREF"@en .

saref:Motion a owl:Class ;
   rdfs:subClassOf saref:Property ;
   rdfs:comment "A saref:Property related to some measurements that are characterized by a certain value that is measured in a unit of measure for motion"@en ;
   rdfs:label "Motion"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Motion is deprecated: may be defined as an instance of saref:Property in the next major revision of SAREF"@en .

saref:Occupancy a owl:Class ;
    rdfs:subClassOf saref:Property ;
    rdfs:comment "A saref:Property related to some measurements that are characterized by a certain value (saref:hasValue property) that is measured in a unit of measure for occupancy"@en ;
    rdfs:label "Occupancy"@en ;
    owl:deprecated true ;
    skos:historyNote "V3.2.1: saref:Occupancy is deprecated: may be defined as an instance of saref:Property in the next major revision of SAREF"@en .

saref:Power a owl:Class ;
    rdfs:subClassOf saref:Property ;