DTV12 — Confusion of Axioms and Verb Concepts for Time Interval operations

Specification: DTV v1.1

Title: Confusion of Axioms and Verb Concepts for Time Interval operations

Summary:

In clause 8.2.5, there are two versions of Axiom Sum, but they seem to say mostly the same thing. There is a typo: t2+t2 in the first Axiom Sum.

The two definitions of 'time interval1 to time interval2 is time interval3' conflict – the first half of each should be a condition.

In clause 8.2.6, what starts as Axiom Start-complement becomes a verb concept declaration that somehow has a corollary. Similarly Axiom End-complement, and for Axiom Intersection in 8.2.7. This seems to be primarily a text organization problem, but there is no Necessity and no OCL Constraint for each of the Axioms.

In 8.2.5, remove the duplicate Axioms, rewrite the Definition of ‘sum’ to be the first two ‘Corollaries’, and change the multiple ‘Definitions’ and ‘CLIF Definitions’ of sum to SBVR Necessities and CLIF Axioms.
In 8.2.5 merge the two partial definitions of ‘time interval1 to time interval2 specifies time interval3’ to one corrected definition.
In 8.2.6, reorganize the axioms and corollaries to follow the definition of the verb concepts, and correct the SBVR definitions of the verb concepts.
In 8.2.7, reorganize the axioms and corollaries to follow the definition of the verb concept, and correct the definitions of the verb concept.