
Key: DTV12125

Legacy Issue Number: 19466

Status: closed

Source: Thematix Partners LLC ( Edward Barkmeyer)

Summary:
Annex D.3.2 contains the following axiom for 'system of units is for system of quantities':
Necessity: Each system of units is for exactly one system of quantities.
CLIF Axiom:
(forall (("system of units" "system of units"))
(= (count ("system of units is for system of quantities" "system of units")) 1))
I'm not sure what this is supposed to mean. The conventional form would be:
(forall ((sou "system of units"))
(exists ((soq "system of quantities"))
(and
("system of units is for system of quantities" sou soq)
(forall (soq2)
(if ("system of units is for system of quantities" sou soq2)
(= soq2 soq) ))
)))
Note also that there is no OCL form of this axiom.

Reported: DTV 1.0 — Wed, 11 Jun 2014 04:00 GMT

Disposition: Resolved — DTV 1.2

Disposition Summary:
Replace the text as suggested. Add the OCL form.

Updated: Wed, 8 Jul 2015 11:40 GMT
DTV12 — Strange CLIF axiom for system of units
 Key: DTV12125
 OMG Task Force: DateTime Vocabulary (DTV) 1.2 RTF