- From: pat hayes <phayes@ihmc.us>
- Date: Wed, 2 Jul 2003 18:20:43 -0500
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: www-rdf-comments@w3.org
- Message-Id: <p0600122cbb291730f0ff@[10.0.100.7]>
Peter, with reference to your comment http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0091.html archived as pfps-04, I am writing to ask whether the following would be acceptable as a response. If so, I will suggest that the WG accept your comment with this resolution. As you know, there have been extensive modifications to the RDF entailment rules since your comment was written The current editor's draft http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html now contains a version of the RDF entailment rules which I believe corresponds directly to the RDF semantic conditions in the sense described. You can check the proof at http://www.ihmc.us/users/phayes/RDF_Semant_Edit_Weak.html#RDFEntailmentLemmaPrf Please reply to this message, copying www-rdf-comments@w3.org, indicating whether this response adequately addresses your comment. Sincerely -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ihmc.us http://www.ihmc.us/users/phayes
Received on Wednesday, 2 July 2003 19:46:03 UTC