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.