Useless local restrictions on Command and Function

Affects: SAREF

Situation: SAREF contains axioms

SubClassOf( Command AllValuesFrom( isCommandOf Function ) ). 
SubClassOf( Function AllValuesFrom( hasCommand Command ) )

If isCommandOf and hasCommand only applies to Commands, and the domains and ranges are specified, then these axioms are useless.

Proposal: delete the axioms if the domain and range is specified

Status: dependent on the reolution of proposal 15 during SmartM2M-3rd RG Meeting about 2 NWIs SAREFv3 and SAREF Com Framework V2 2019-05-09.

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