Subject: [LC response] To Richard H. McCullough
Thank you for your comment
on the OWL 2 Web Ontology Language last call drafts.
The Working Group feels that your proposed changes will only serve to confuse readers of its documents and so deems them unsuitable for inclusion in its documents.
Therefore, the Working Group will not be making any further changes to
its documents in response to your comment.
Please acknowledge receipt of this email to <mailto:email@example.com> (replying to this email should suffice). In your acknowledgment please let us know whether or not you are satisfied with the working group's response to your comment.
Peter F. Patel-Schneider
on behalf of the W3C OWL Working Group
CUT AND PASTE THE BODY OF THE MESSAGE (I.E. FROM "Dear" TO "Group") INTO THE BODY OF AN EMAIL MESSAGE. SET THE To:, CC:, AND Subject: LINES ACCORDINGLY.
PLEASE TRY TO REPLY IN A WAY THAT WILL ALLOW THREADING TO WORK APPROPRIATELY, I.E., SO THAT YOUR REPLY CONTINUES THE THREAD STARTED BY THE ORIGINAL COMMENT EMAIL
From: Richard H. McCullough <firstname.lastname@example.org> Date: Wed, 13 May 2009 12:59:46 -0700 Message-ID: <0FFCE110027D4F1C935E16C185FEBC16@rhm8200> To: "Sebastian Rudolph" <email@example.com> Cc: <firstname.lastname@example.org>, "KR-language" <KR-language@YahooGroups.com>, "[ontolog-forum] " <email@example.com>
No, I am not satisfied with your proposed additional text.
If OWL2 "class" is the "extension set" of a "concept", your document should say that.
If your document does not say that, you are missing this unique opportunity to eliminate the confusion associated with RDF "class".
I propose adding the text below as the first paragraph of section 4 of the OWL2 primer.
Natural languages use a "concept" to refer to a group of similar, individual entities. A "concept" may be defined by its
"extension" -- the set of all individual entities which are members of the group "genus" -- the more general group which includes all individual members of the group "differentiae" -- the properties [a.k.a. "intension"] which are shared by all individual members of the group, and which distinguish them from other members of the "genus".
In OWL 2:
a "class" is the "extension set" of a "concept"; the "class" is a "subClassOf" the "genus class"; property "restrictions" specify the "differentiae".
Dick McCullough http://mkrmke.org