Issue 13865: SBVR Issue : Inconsistent use/definition of keyword 'or' (sbvr-rtf) Source: NIST (Mr. Edward J. Barkmeyer, edbark(at)nist.gov) Nature: Uncategorized Issue Severity: Summary: Title: Inconsistent use/definition of keyword 'or' Spec: SBVR Version: 1.0 Source: Ed Barkmeyer, NIST, edbark@nist.gov Summary: In clause 9.2.1, p.52, 'bindable target' is defined as: variable, expression or individual concept In clause 11.1.5, 'contextualization fact type' is defined as: is-role-of fact-type or is-facet-of fact-type In clause 11.1.5, 'contextualized concept' is defined as: role or facet At the end of section C.3.2.1 in Annex C, the example is: contextualized concept Definition: role or facet In Annex E, p.327, 'fuel level' is defined as: full or 7/8 or 3/4 or 5/8 or 1/2 or 3/8 or 1/4 or 1/8 or empty In all these, 'or' is stylized as a keyword. According to Annex C.3.2.1, these represent extensional definitions, i.e., the unions of the extensions of the concepts. But according to Annex C.1.1, the keyword 'or' is defined to mean logical disjunction between two propositions. So the definition of keyword 'or' is inconsistent with the usages. One solution is to change the definitions. E.g., for contextualized concept: Definition: concept that is a role or is a facet This form has a direct translation to the concepts in Clause 9. An alternative is to change the meaning of the keyword in C.1.1, assuming it is never used for logical disjunction of propositions. Another alternative is to introduce a new keyword. Resolution: Revised Text: Actions taken: April 13, 2009: received issue Discussion: End of Annotations:===== te: Mon, 13 Apr 2009 17:50:27 -0400 From: Ed Barkmeyer Reply-To: edbark@nist.gov Organization: NIST User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) To: issues@omg.org Subject: SBVR Issue : Inconsistent use/definition of keyword 'or' X-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: n3DLoWEG004876 X-MailScanner: Found to be clean X-MailScanner-SpamCheck: X-MailScanner-From: edbark@nist.gov X-MailScanner-Watermark: 1240264234.54889@oFoyobDjOmt03JNao4nh6g X-Spam-Status: No Title: Inconsistent use/definition of keyword 'or' Spec: SBVR Version: 1.0 Source: Ed Barkmeyer, NIST, edbark@nist.gov Summary: In clause 9.2.1, p.52, 'bindable target' is defined as: variable, expression or individual concept In clause 11.1.5, 'contextualization fact type' is defined as: is-role-of fact-type or is-facet-of fact-type In clause 11.1.5, 'contextualized concept' is defined as: role or facet At the end of section C.3.2.1 in Annex C, the example is: contextualized concept Definition: role or facet In Annex E, p.327, 'fuel level' is defined as: full or 7/8 or 3/4 or 5/8 or 1/2 or 3/8 or 1/4 or 1/8 or empty In all these, 'or' is stylized as a keyword. According to Annex C.3.2.1, these represent extensional definitions, i.e., the unions of the extensions of the concepts. But according to Annex C.1.1, the keyword 'or' is defined to mean logical disjunction between two propositions. So the definition of keyword 'or' is inconsistent with the usages. One solution is to change the definitions. E.g., for contextualized concept: Definition: concept that is a role or is a facet This form has a direct translation to the concepts in Clause 9. An alternative is to change the meaning of the keyword in C.1.1, assuming it is never used for logical disjunction of propositions. Another alternative is to introduce a new keyword. -Ed -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Manufacturing Systems Integration Division 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 From: Don Baisley To: "sbvr-rtf@omg.org" Date: Thu, 25 Jun 2009 13:18:13 -0700 Subject: RE: issue 13865 -- SBVR RTF issue Thread-Topic: issue 13865 -- SBVR RTF issue Thread-Index: Acm/a20nl26X6763Td+cToBMO8USCQ2ZVoxg Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Here is the resolution we discussed: At the very end of C.3.2.1, ADD the following: A semantic formulation of the definition above is the same as for the logically equivalent definition, .thing that is a role or a facet.. If this is OK with everyone, I can write up a resolution document. Best regards, Don From: Juergen Boldt [mailto:juergen@omg.org] Sent: Friday, April 17, 2009 7:44 AM To: issues@omg.org; sbvr-rtf@omg.org Subject: issue 13865 -- SBVR RTF issue Date: Mon, 13 Apr 2009 17:50:27 -0400 From: Ed Barkmeyer Reply-To: edbark@nist.gov Organization: NIST User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) To: issues@omg.org Subject: SBVR Issue : Inconsistent use/definition of keyword 'or' X-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: n3DLoWEG004876 X-MailScanner: Found to be clean X-MailScanner-SpamCheck: X-MailScanner-From: edbark@nist.gov X-MailScanner-Watermark: 1240264234.54889@oFoyobDjOmt03JNao4nh6g X-Spam-Status: No Title: Inconsistent use/definition of keyword 'or' Spec: SBVR Version: 1.0 Source: Ed Barkmeyer, NIST, edbark@nist.gov Summary: In clause 9.2.1, p.52, 'bindable target' is defined as: variable, expression or individual concept In clause 11.1.5, 'contextualization fact type' is defined as: is-role-of fact-type or is-facet-of fact-type In clause 11.1.5, 'contextualized concept' is defined as: role or facet At the end of section C.3.2.1 in Annex C, the example is: contextualized concept Definition: role or facet In Annex E, p.327, 'fuel level' is defined as: full or 7/8 or 3/4 or 5/8 or 1/2 or 3/8 or 1/4 or 1/8 or empty In all these, 'or' is stylized as a keyword. According to Annex C.3.2.1, these represent extensional definitions, i.e., the unions of the extensions of the concepts. But according to Annex C.1.1, the keyword 'or' is defined to mean logical disjunction between two propositions. So the definition of keyword 'or' is inconsistent with the usages. One solution is to change the definitions. E.g., for contextualized concept: Definition: concept that is a role or is a facet This form has a direct translation to the concepts in Clause 9. An alternative is to change the meaning of the keyword in C.1.1, assuming it is never used for logical disjunction of propositions. Another alternative is to introduce a new keyword. -Ed -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Manufacturing Systems Integration Division 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 FAX: +1 301-975-4694 Juergen Boldt Director, Member Services Object Management Group 140 Kendrick St Building A Suite 300 Needham, MA 02494 USA tel: +1 781 444 0404 x 132 fax: +1 781 444 0320 email: juergen@omg.org www.omg.org From: Don Baisley To: "sbvr-rtf@omg.org" Date: Thu, 25 Jun 2009 16:48:20 -0700 Subject: RE: issue 13865 -- SBVR RTF issue Thread-Topic: issue 13865 -- SBVR RTF issue Thread-Index: Acm/a20nl26X6763Td+cToBMO8USCQ2g6pSA Accept-Language: en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: acceptlanguage: en-US Here is a write-up of the resolution decided in today.s meeting. Best regards, Don From: Juergen Boldt [mailto:juergen@omg.org] Sent: Friday, April 17, 2009 7:44 AM To: issues@omg.org; sbvr-rtf@omg.org Subject: issue 13865 -- SBVR RTF issue Date: Mon, 13 Apr 2009 17:50:27 -0400 From: Ed Barkmeyer Reply-To: edbark@nist.gov Organization: NIST User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) To: issues@omg.org Subject: SBVR Issue : Inconsistent use/definition of keyword 'or' X-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: n3DLoWEG004876 X-MailScanner: Found to be clean X-MailScanner-SpamCheck: X-MailScanner-From: edbark@nist.gov X-MailScanner-Watermark: 1240264234.54889@oFoyobDjOmt03JNao4nh6g X-Spam-Status: No Title: Inconsistent use/definition of keyword 'or' Spec: SBVR Version: 1.0 Source: Ed Barkmeyer, NIST, edbark@nist.gov Summary: In clause 9.2.1, p.52, 'bindable target' is defined as: variable, expression or individual concept In clause 11.1.5, 'contextualization fact type' is defined as: is-role-of fact-type or is-facet-of fact-type In clause 11.1.5, 'contextualized concept' is defined as: role or facet At the end of section C.3.2.1 in Annex C, the example is: contextualized concept Definition: role or facet In Annex E, p.327, 'fuel level' is defined as: full or 7/8 or 3/4 or 5/8 or 1/2 or 3/8 or 1/4 or 1/8 or empty In all these, 'or' is stylized as a keyword. According to Annex C.3.2.1, these represent extensional definitions, i.e., the unions of the extensions of the concepts. But according to Annex C.1.1, the keyword 'or' is defined to mean logical disjunction between two propositions. So the definition of keyword 'or' is inconsistent with the usages. One solution is to change the definitions. E.g., for contextualized concept: Definition: concept that is a role or is a facet This form has a direct translation to the concepts in Clause 9. An alternative is to change the meaning of the keyword in C.1.1, assuming it is never used for logical disjunction of propositions. Another alternative is to introduce a new keyword. -Ed -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Manufacturing Systems Integration Division 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 FAX: +1 301-975-4694 Juergen Boldt Director, Member Services Object Management Group 140 Kendrick St Building A Suite 300 Needham, MA 02494 USA tel: +1 781 444 0404 x 132 fax: +1 781 444 0320 email: juergen@omg.org www.omg.org Gaithersburg, MD 20899-8263 FAX: +1 301-975-4694