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

range of hasValue should not be xsd:float.

Affects: SAREF

Situation: SAREF contains axiom Range( hasValue xsd:float ). However, there are other datatypes for measurements. Some domains require the precision of doubles. One may use the cdt:ucum datatype to associate a value. The number of persons in a building would be an integer. Other types of property may be thought about, like vectors (x, y, z acceleration), matrices (strain in deformable solids)

Proposal: remove the axiom. Update the definition of hasValue to specify that numeric values are expected to enable reasoning

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