**Affects:* SAREF **Situation:** From the combination of the two axioms below, a SAREF user may induce that there are two distinct switches. This would lead to wrong classification, and potentially make a knowledge graph inconsistent. ``` Axiom subClassOf( DoorSwitch Switch ) Axiom subClassOf( DoorSwitch someValuesFrom( consistsOf Switch ) ) ``` Other concepts have the same situation: EnergyMeter is asserted to be both a Meter and some device that consists of a Meter **Proposal:** Remove the second axiom, for each of the impacted concepts **Status:** agreed during SmartM2M-2nd RG Meeting about 2 NWIs SAREFv3 and SAREF Com Framework V2 2019-05-06