closes #67

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