SBVR — Section: Clause 10 pages 71 - 108

ISSUE: Work Needed to Clean Up Mapping to Formal Logics (Clause 10) 1. Clause 10.1.1 – Leave only formal logic 'interpretation' material a. Move term definitions currently in Clause 10.1.1 to Clause 10.1.2 b. Add term definitions from ISO 247xx to Clause 10.1.2 c. Add definitions for terms used in Clause 10.1.1 not in Clause 10.1.2 now or from steps 1a. or 1b. to Clause 10.1.2 d. Remove any remaining tutorial material not required to specifiy the interpretation of the formal logic grounding from Clause 10.1.1 2. Clause 10.1.2 – Complete / Minimal Formal Logic Vocabulary a. In addition to steps 1a., 1b., and 1c., - remove all terms in Clause 10.1.2 not needed for the mapping in Clause 10.2 (was Clause 10.3). - add terms needed for the mapping in Clause 10.2 (was Clause 10.3) 3. Clause 10.2 (was 10.3) – Clear Mapping from SBVR o Formal Logics a. Renuber Clause 10.3 to 10.2 by combining Clause 10.3 into Clause 10.2 b. Identify any SBVR Vocabulary entries that should be marked 'FL' but are not c. Verify that all SBVR Vocabulary entries marked 'FL' have an entry in the Clause 10.2 mapping, or remove the 'FL' from the SBVR Vocabulary entry. d. Remove mappings in Clause 10.2 that do not and should not have an 'FL' marking next to the corresponding SBVE Vocabulary entry. f. Revise the mapping information in Clause 10.2 to remove any ambiguity in the interpretation of each SBVR Vocabu;ary entry (with an 'FL') in terms of the formal logic vocabulary in Clause 10.1.2 as elaborated in Clause 10.1.1

1. Replace the all the tables and introductory text in Clause 10.3 with the new single integrated table mapping SBVR to ISO Common Logic (ISO 24707) and OWL and introductory text for it.
2. Add two supplemental Conformance Points: one for Restricted Higher Order Logic, and one for First Order Logic.
3. Create a spin-off Issue for items not resolved because of lack of time:
a. Adding terms and definitions used in Clause 10.1.1 to Clause 10.1.2 and remove terms in Clause 10.1.2 no longer needed
b. Remove tutorial material from Clause 10.1.1
c. Add ISO 24707 terms to 10.1.2 if permission is received from ISO
4. Create a spin-off Issue for SBVR metamodel formal logic-based errors and omissions:
a. A reference scheme is needed for individual concept.
b. The entries in Clause 8.5 "Conceptual Schemas and Models" need to be corrected to agree with the first paragraphs of Clause 10.
c. In Clause 8.6 "Extensions" and other sections of Clauses 8-12 the definition of "corresponds to" in "meaning corresponds to thing" and all the relationship and necessities between all the subcategories of meaning and all the subcategories of thing, especially the meaning of "proposition corresponds to state of affairs" and " individual concept corresponds to thing" need to be clarified or added. How the relationship between concept and thing is different between the "use" and the "mention" of the concept needs to be made clear.
d. Thee reference scheme for individual concept needs to be fixed to include the "mention" of object types, roles, fact types, propositions and subcategories of them.
e. Definitions that cover all the uses of "individual" in Clauses 8-12 need to be added.
f. The meaning of Henkin semantics needs to be specified as it applies to the SBVR metamodel.
5. The resolution of this Issue also resolves Issues 9623 and 9707.