- From: pat hayes <phayes@ihmc.us>
- Date: Tue, 1 Jul 2003 21:50:19 -0500
- To: w3c-rdfcore-wg@w3.org
Peter, with reference to your comment http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0091.html archived as pfps-04, we accept your comment. 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 Tuesday, 1 July 2003 22:50:21 UTC