diff --git a/ontology/saref.ttl b/ontology/saref.ttl index 9e304185f2355d392ea0eacf8eda30144bce9638..08908a88749dfe8ab2a0915f511e8c91d8f2b14f 100644 --- a/ontology/saref.ttl +++ b/ontology/saref.ttl @@ -808,6 +808,50 @@ saref:isValueOfProperty ## 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 and states of interest