States are sub-types of properties ?
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