Unverified Commit 9dbfe726 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

finalized composite properties

parent 42cd068c

ontology/saref.ttl

+49 −44
Original line number Original line Diff line number Diff line
@@ -452,6 +452,8 @@ saref:hasFeatureKind 
saref:consistsOf a owl:ObjectProperty ;

saref:consistsOf a owl:ObjectProperty ;

    skos:historyNote "V3.2.1: Add local restrictions on consistsOf on feature of interest"@en ;

    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: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 ;

    skos:note "A feature kind (respectively a feature of interest) may consist of (OP saref:consistsOf) other feature kinds (respectively feature kinds or features of interest)."@en ;

    skos:note "The OP saref:consistsOf can link a composite property, property of interest, or property value to its individual components."@en ;

    rdfs:label "consists of"@en .

    rdfs:label "consists of"@en .





saref:FeatureKind rdfs:subClassOf [ 

saref:FeatureKind rdfs:subClassOf [
@@ -785,50 +787,6 @@ saref:isValueOfProperty 




## Note that saref:hasPropertyValue and saref:isValueOfProperty are not inverse properties.

## Note that saref:hasPropertyValue and saref:isValueOfProperty are not inverse properties.





# ETSI TS 103264 Clause 5.6.5: Composite Properties and Property Values



## The OP saref:isComposedOf links a composite property or property value to its individual components. 



saref:isComposedOf a owl:ObjectProperty ;

  rdfs:label "is composed of"@en ;

  rdfs:comment "Links a composite property or property value to its individual components."@en ;

  rdfs:domain [ a owl:Class ; owl:unionOf ( saref:Property saref:PropertyOfInterest saref:PropertyValue ) ] ;

  rdfs:range [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:Property saref:PropertyOfInterest saref:FeatureOfInterest saref:PropertyValue ) ] .



## A feature kind or feature of interest has the individual components of its composite properties.



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



## Properties can be composed of feature kinds and properties.



saref:Property rdfs:subClassOf [ 

  owl:onProperty saref:isComposedOf ; 

  owl:allValuesFrom [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:Property ) ] ] .



## Properties of interest can be composed of feature kinds, properties, and properties of interest.



saref:PropertyOfInterest rdfs:subClassOf [ 

  owl:onProperty saref:isComposedOf ; 

  owl:allValuesFrom [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:Property saref:PropertyOfInterest ) ] ] .



## Property values can be composed of features of interest and property values.



saref:PropertyValue rdfs:subClassOf [ 

  owl:onProperty saref:isComposedOf ; 

  owl:allValuesFrom [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:Property saref:PropertyOfInterest saref:FeatureOfInterest saref:PropertyValue ) ] ] .



## When composed of a property of interest, a property of interest or property value is also composed of the kinds of this property of interest.



saref:isComposedOf owl:propertyChainAxiom ( saref:isComposedOf saref:hasPropertyKind ) .



## When composed of a property value, a property value is also composed of that value's property.



saref:isComposedOf owl:propertyChainAxiom ( saref:isComposedOf saref:isValueOfProperty ) .



## When composed of a feature of interest, a property value is also composed of the kind of that feature of interest.



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







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

# ETSI TS 103264 Clause 5.7: States, states of interest, and state values
@@ -1585,6 +1543,53 @@ saref:profileHasPrice a owl:ObjectProperty ; 
    rdfs:range saref:PropertyValue .

    rdfs:range saref:PropertyValue .









# ETSI TS 103264 Clause 5.14: Composite Properties and Property Values



## The OP saref:consistsOf can link a composite property, property of interest, or property value to its individual components. 



## A feature kind or feature of interest has the individual components of its composite properties.



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



## Composite Properties can consist of feature kinds, properties, and states. 



saref:Property rdfs:subClassOf [ 

  owl:onProperty saref:consistsOf ; 

  owl:allValuesFrom [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:Property saref:State ) ] ] .



## In addition, properties of interest can be composed of features of interest, properties of interest and states of interest. 



saref:PropertyOfInterest rdfs:subClassOf [ 

  owl:onProperty saref:consistsOf ; 

  owl:allValuesFrom [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:Property saref:State saref:PropertyOfInterest saref:StateOfInterest ) ] ] .



## When composed of a property of interest, a property of interest is also composed of the kinds of this property of interest.



saref:consistsOf owl:propertyChainAxiom ( saref:consistsOf saref:hasPropertyKind ) .



## When composed of a state of interest, a property of interest is also composed of the kinds of this state of interest.



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



## In addition, property values can be composed of property values, and state values. 



saref:PropertyValue rdfs:subClassOf [ 

  owl:onProperty saref:consistsOf ; 

  owl:allValuesFrom [ a owl:Class ; owl:unionOf ( saref:FeatureKind saref:Property saref:State saref:PropertyOfInterest saref:StateOfInterest saref:FeatureOfInterest saref:PropertyValue saref:StateValue ) ] ] .



## When composed of a property value, a property value is also composed of that value's property.



saref:consistsOf owl:propertyChainAxiom ( saref:consistsOf saref:isValueOfProperty ) .



## When composed of a state value, a property value is also composed of that value's state.



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



## When composed of a feature of interest, a property value is also composed of the kind of that feature of interest.



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





# New in V3.2.1

# New in V3.2.1





saref:hasIdentifier a owl:DatatypeProperty ;

saref:hasIdentifier a owl:DatatypeProperty ;