SBVR Metamodel Fixes Related to a Formal Logics Interpretation
Legacy Issue Number: 11303
Source: Rule ML Initiative ( Donald Chapin)
The following SBVR metamodel formal logic-based errors and omissions need to be dealt with as we ran out of time to deal with them:
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.
Reported: SBVR 1.0b1 — Thu, 23 Aug 2007 04:00 GMT
Updated: Tue, 3 Jan 2017 13:19 GMT