ODM — Common Logic Metamodel is out of sync with the ISO FDIS CL specification

Specification: Ontology Definition Metamodel
FormalNumber: ptc/06-10-11
Section: 12
Summary: Common Logic Metamodel is out of sync with the ISO FDIS CL specification.

Description: Minor changes were made to the CL language as it was finalized through the ISO process, which are not reflected in the ODM specification. These include text and diagram / model / xmi changes, which, although minor, should be resynchronized now that the ISO standardization process is complete

Revise the CL metamodel and related text as follows. Changes include:
§ Revised reference to the FDIS CL specification
§ Addition of Association CommentedText to and elimination of Association CommentedPhrase from the Phrases Diagram (Figure 12.1)
§ Rename Association ArgumentsForFunctionalTerm to ArgumentSequenceForFunctionalTerm (Figure 12.2)
§ Rename Association ArgumentsForAtomicSentence to ArgumentSequenceForAtomicSentence (Figure 12.3)
§ Rename Association BindingSequence to BindingSequenceForQuantifiedSentence (Figure 12.6) and provide missing paragraph (12.7.1 Binding)