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

Use of saref:accomplishes

Affects: SAREF

Situation: there exists temperature sensors who are not meant to accomplish comfort. But SAREF contains the following axiom:

Axiom subClassOf( TemperatureSensor HasValue( accomplishes Comfort) )

This happens in other places too, where the axiom was meant to provide examples, but has unwanted logical implications.

Proposal: Delete these axioms, and add a sentence at the end of the definitions to give an example of the task they can accomplish

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