Scheduled maintenance on Saturday, 27 September 2025, from 07:00 AM to 4:00 PM GMT (09:00 AM to 6:00 PM CEST) - some services may be unavailable -

Skip to content

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