Issue 10854: Class = set of instances (odm-ftf)
Source: NIST (Dr. Conrad Bock, conrad.bock(at)nist.gov)
Nature: Revision
Severity: Significant
Summary: Class = set of instances. In Section 16.2.2 (Class and Property - Basics), first paragraph, second sentence, an OWL class can exist without insances, so it is not equivalent to a set of instances.
Resolution: The statement was meant to include the empty set. The sentence was slightly revised to make this clearer.
Revised Text: Replace second sentence of 1st para of 16.2.2 which currently reads, 
"A class in OWL is a set of instances." with 
"A class in OWL is a set of zero or more instances."


Actions taken:
March 30, 2007: received issue
January 15, 2008: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 30 Mar 2007 00:52:37 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Conrad Bock
Company: NIST
mailFrom: conrad.bock@nist.giv
Notification: No
Specification: Ontology Definition Metamodel
Section: Chapter 16
FormalNumber: ptc/06-10-11
Version: 
RevisionDate: 
Page: 
Nature: Revision
Severity: Significant
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax)
Description
Class = set of instances. In Section 16.2.2 (Class and Property - Basics), first paragraph, second sentence, an OWL class can exist without insances, so it is not equivalent to a set of instances.