Issue 11303: SBVR Metamodel Fixes Related to a Formal Logics Interpretation (sbvr-ftf) Source: Business Semantics Ltd. (Mr. Donald R. Chapin, Donald.Chapin(at)BusinessSemantics.com) Nature: Revision Severity: Significant Summary: 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. Resolution: This Issue is a spin-off from Issue 9959 for a part that was not able to be completed in time. Deferred to first SBVR Revision Task Force because we ran out of time. Revised Text: Actions taken: Discussion: End of Annotations:===== mainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=btinternet.com; h=Received:X-YMail-OSG:Reply-To:From:To:Cc:Subject:Date:Organization:Message-ID:MIME-Version:Content-Type:X-Mailer:Thread-Index:X-MimeOLE; b=sth/ua2QYWlO1AJ3UhldDFDcKnbo83g3R/bcpzQeJaAuWgvOn4AArijc4T1HE3RZspfXIMbJ9S0/jCQMXK9Vr8ie2YPZJj8JS+NuSQO+Z9RSYa9zt3g4ph4UVgx/uwZnTEbyAD8XQYmnqShvGk1TARP6jqT4ba4I7bCB/2Qwc6k= ; X-YMail-OSG: aW2qY00VM1k6Glr4QhOaoxT4zG.7weutl0y1T031pl0oHNDNyklCEKzgt_QuBrQ.ZZcGKZHxvQ-- Reply-To: From: "Donald Chapin" To: , "'Juergen Boldt'" , "'Joe Harth'" Cc: Subject: SBVR Issue 9959 Spin-off Issue - SBVR Metamodel Fixes Related to a Formal Logics Interpretation Date: Thu, 23 Aug 2007 22:48:03 +0100 Organization: Business Semantics Ltd X-Mailer: Microsoft Office Outlook 11 Thread-Index: Acflz0P9JMpgv2EGQLK6rUpjOzkkbw== THIS IS A NEW ISSUE (I need a number for a ballot) Submitter.s Name: Donald Chapin Issue Submitter.s Company: Business Semantics Ltd (submitted as SBVR FTF Chair) Issue Submitter.s Email: Donald.Chapin@btinternet.com Issue Name: SBVR Metamodel Fixes Related to a Formal Logics Interpretation Document No: dtc/06/03/01 Document Revision Date: March 2006 Document Version No: --- Chapter/Section: Clauses 8-12 Page No(s): various Nature of Issue: Revision Severity of Issue: Major Issue Description: 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.