States are sub-types of properties ?

Affects: SAREF

Situation: the definition of saref:hasSensorType is: A relationship identifying the sensing type of a sensor detection (i.e., Temperature, Occupancy, Humidity, Motion , Smoke, Pressure, etc.). Yet sensors may also detect statuses of features of interest, such as open/close or hot/cold

Proposal: assert that states are sub-types of properties and add the following two axioms:

saref:State a subclass of saref:Property
saref:hasState a subproperty of saref:hasProperty