Unverified Commit 1bb0f551 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

implemented items 3-5 from change log 

- saref:hasValue is now optional on saref:PropertyValue
- improved parallel between Property and State descriptions
- introduced saref:StateValue
parent d0425d2c

ontology/saref.ttl

+50 −9
Original line number Diff line number Diff line
@@ -714,18 +714,19 @@ saref:hasProperty 


# 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). 

## Class saref:PropertyValue describes the value for a property. The property value is optionally 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:comment "Describes the value for a property. The property value is optionally 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 ] ,

            owl:maxCardinality 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 .

    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 ;

    skos:historyNote "V4.1.1: saref:hasValue is now optional on saref:PropertyValue."@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 ;
@@ -826,9 +827,9 @@ saref:isComposedOf owl:propertyChainAxiom ( saref:isComposedOf saref:isValueOfPr 
saref:isComposedOf owl:propertyChainAxiom ( saref:isComposedOf saref:hasFeatureKind ) .





# ETSI TS 103264 Clause 5.7: States and states of interest

# ETSI TS 103264 Clause 5.7: States, states of interest, and state values



## In SAREF, states refer to the identifiable conditions that features of interest are or may be in, and that can be target of devices, such as observed and controlled.

## In SAREF, states refer to the identifiable conditions that features of interest are or may be in, and that can be acted upon by devices, such as observed and controlled. While states can apply to different features of interest, states of interest are specific to a feature of interest. State values describe the value for a state.



# ETSI TS 103264 Clause 5.7.2: States
@@ -837,8 +838,8 @@ saref:isComposedOf owl:propertyChainAxiom ( saref:isComposedOf saref:hasFeatureK 
saref:State a owl:Class ;

    rdfs:label "State"@en ;

    rdfs:comment "Identifiable conditions that features of interest are or may be in, and that can be target of devices, such as observed and controlled. A state can apply to different features of interest."@en ;

    skos:example "A switch can be found in the saref:OnOffState, which is further specialized in saref:OnState and saref:OffState."@en ;

    skos:note "SAREF is not restricted to binary states such as the saref:OnOffState, but allows to define also n-ary states (see, for example, the saref:MultiLevelState class)."@en ;

    skos:example "A switch can be found in the saref:OnOffState."@en ;

    skos:note "SAREF is not restricted to binary states such as the ex:OnOffState, but allows to define also enumerated states."@en ;

    skos:note "Concepts from existing code lists, vocabularies, and taxonomies, may be used as instances of saref:State."@en ;

    skos:historyNote "V3.2.1: Clarified and generalized definition of saref:State. Can now apply to all features of interest, not just devices."@en .
@@ -937,8 +938,48 @@ saref:hasStateKind 
saref:hasState

    owl:propertyChainAxiom ( saref:hasStateOfInterest saref:hasStateKind ) .



## As the narrowest states of the taxonomy of states can be thought of as the state values, it is possible to assign a stable value to a state.



# ETSI TS 103264 Clause 5.7.4: State values



## Class saref:StateValue describes the value for a state. The state value is optionally linked the states or states of interest it is a value of (OP saref:isValueOfState). 



saref:StateValue a owl:Class ;

    rdfs:label "State Value"@en ;

    rdfs:comment "Describes the value for a state. The state value is optionally linked the states or states of interest it is a value of (OP saref:isValueOfState)."@en ;

    skos:historyNote "V4.1.1: Introduced saref:StateValue."@en .



## The OP saref:hasStateValue links a feature kind, a feature of interest, or a state of interest, to a state value.



saref:hasStateValue a owl:ObjectProperty ;

    rdfs:label "has state value"@en ;

    rdfs:comment "Links a feature kind, a feature of interest, or a state of interest, to a state value."@en ;

    rdfs:domain [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest saref:StateOfInterest ) ] ;

    rdfs:range saref:StateValue ;

    skos:historyNote "V4.1.1: Introduced saref:hasStateValue."@en .



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



saref:hasStateValue

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



## A feature of interest does not inherit the state values of its kinds. There may be multiple reasons why the state 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:isValueOfState links a state value to the states and states of interest it is a value of.



saref:isValueOfState a owl:ObjectProperty ;

    rdfs:label "is value of state"@en ;

    rdfs:comment "Links a state value to the state or state of interest it is a value of."@en ;

    rdfs:domain saref:StateValue ;

    rdfs:range [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:FeatureOfInterest saref:StateOfInterest ) ] ;

    skos:historyNote "V4.1.1: Introduced saref:isValueOfState."@en .





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



saref:isValueOfState

    owl:propertyChainAxiom ( saref:isValueOfState saref:hasStateKind ) .



## Note that saref:hasStateValue and saref:isValueOfState are not inverse properties.



# ETSI TS 103264 Clause 5.8: Functions and functions of interest