DoorSwitch both is a Switch and consistsOf Switch

*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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information