LC Responses/JH1

From OWL
Revision as of 08:43, 25 February 2009 by BijanParsia (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

To: Jim Hendler <hendler@cs.rpi.edu>
CC: public-owl-comments@w3.org
Subject: [LC response] To Jim Hendler

Dear Jim,

Thank you for your comment
     <http://lists.w3.org/Archives/Public/public-owl-comments/2009Jan/0004.html>
on the OWL 2 Web Ontology Language last call drafts.

In subsequent discussion, our understanding is that you have agreed that the way keys interact with classes (i.e., the class is additional check, not something to be inferred) has merit but that the documentation should more clearly indicate that merit. See your message:

       <http://lists.w3.org/Archives/Public/public-owl-wg/2008Dec/0055.html>

To this end, we have followed your suggestion and added a couple of sentences to the first paragraph of
       <http://www.w3.org/2007/OWL/wiki/Syntax#Keys>
which we hope makes things clear.

This response supercedes any prior response.

Please acknowledge receipt of this email to <mailto:public-owl-comments@w3.org> (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.

Regards,
Bijan Parsia
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


I was talking to someone about keys and we were looking at the document section on this (http://www.w3.org/2007/OWL/wiki/Syntax#Keys) where the example is given of
HasKey( a:Person a:hasSSN ) 	
PropertyAssertion( a:hasSSN a:Peter "123-45-6789" ) 	
ClassAssertion( a:Person a:Peter ) 	
PropertyAssertion( a:hasSSN a:Peter_Griffin "123-45-6789" ) 	
ClassAssertion( a:Person a:Peter_Griffin ) 	

and my colleague asked why the last axiom wasn't entailed by the HasKey. We went and looked in the model theory, and it says under the circumstances of the first four expressions HasKey won't apply (because there's no evidence of a CE for Peter_Griffin) -- so it appears this is not entailed in the current model theory.

Guess my question is why does one need the additional condition (and thus the additional axiom) -- wouldn't it follow that if HasKey relates person's via hasSSN (i.e. the HasKey assertion) that anything that has that key (the SSN) would have to be a person?

If HasKey would entail that the domain of the property asserted would be the first argument to the HasKey (which is what seems to be intended) then wouldn't the fact that X is an element of (CE)^^C [1] and in fact that it is a Person follow? Is there a reason we don't do this ?-- would seem to simplify the use of HasKey without causing an obvious semantic harm that I can see (and would make its use more intuitive in many cases).


... (see email thread)


OK, you (plural) have convinced me this can be useful expressivity

However, given two of us who had PhDs in AI and long experience with DBs took a while to work through the semantics, and didn't get the idea of these examples without the emails from you folks, I do think documenting it will be important...

BijanParsia 18:11, 28 January 2009 (UTC) Action taken to address this http://www.w3.org/2007/OWL/tracker/actions/268