Issue 15404: Set requires distinguished things (sbvr-rtf) Source: NIST (Mr. Edward J. Barkmeyer, edbark(at)nist.gov) Nature: Uncategorized Issue Severity: Summary: Clause 8.7 introduces the idea of set and cardinality in order to support 'at least n' and 'at most n' constraint concepts. 'set' is defined to be an unordered collection of zero or more things. Marking 'set' a formal logic concept "FL" raises the issue of identity of things. Cardinality of a set is defined as "the number of distinct elements in the set, The definition of 'set' should also refer to 'distinct' or 'distinguished' things. The ability to distinguish makes it possible to determine the truth value of 'thing is in set' for an arbitrary thing. The 'set' entry should probably also include a Note, such as: Note: The means of distinguishing things as elements of a set is dependent on the kind of thing and the viewpoint taken in constructing each kind of set. Reference schemes may be used in this regard. Where the SBVR specification defines concepts that are 'sets', the defined reference scheme is used to distinguish elements. Resolution: Revised Text: Actions taken: August 6, 2010: received issue Discussion: End of Annotations:===== te: Fri, 06 Aug 2010 12:54:30 -0400 From: Ed Barkmeyer Reply-To: edbark@nist.gov Organization: NIST User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: issues@omg.org CC: SBVR RTF Subject: SBVR issue: Set requires distinguished things X-NISTMEL-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: o76GsZiV029278 X-NISTMEL-MailScanner: Found to be clean X-NISTMEL-MailScanner-SpamCheck: X-NISTMEL-MailScanner-From: edbark@nist.gov X-NISTMEL-MailScanner-Watermark: 1281718476.94065@EXiBd2gcY283WzO3EXQ6kA X-Spam-Status: No X-NIST-MailScanner: Found to be clean X-NIST-MailScanner-From: edbark@nist.gov Title: Set requires distinguished things Specification: SBVR Version: 1.0 Source: Ed Barkmeyer, NIST, edbark@nist.gov Summary: Clause 8.7 introduces the idea of set and cardinality in order to support 'at least n' and 'at most n' constraint concepts. 'set' is defined to be an unordered collection of zero or more things. Marking 'set' a formal logic concept "FL" raises the issue of identity of things. Cardinality of a set is defined as "the number of distinct elements in the set, The definition of 'set' should also refer to 'distinct' or 'distinguished' things. The ability to distinguish makes it possible to determine the truth value of 'thing is in set' for an arbitrary thing. The 'set' entry should probably also include a Note, such as: Note: The means of distinguishing things as elements of a set is dependent on the kind of thing and the viewpoint taken in constructing each kind of set. Reference schemes may be used in this regard. Where the SBVR specification defines concepts that are 'sets', the defined reference scheme is used to distinguish elements. -- 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