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

Are tasks accomplished by at least one device ?

Affects: SAREF

Situation: The axiom below states that each and every task is accomplished by at least one device. This restriction is too strong and not necessary. One should be able to describe a task even if no device accomplishes it.

Axiom subClassOf( saref:Task ObjectMinCardinality ( 1 saref:isAccomplishedBy saref:Device ) )

Proposal: To remove these axioms.

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