W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2003

proposal to close pfps-04

From: pat hayes <phayes@ihmc.us>
Date: Tue, 1 Jul 2003 21:50:19 -0500
Message-Id: <p06001207bb27f1109bc1@[10.0.100.7]>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:58:40 EDT