- From: pat hayes <phayes@ihmc.us>
- Date: Mon, 3 Nov 2003 22:00:02 -0600
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
- Cc: www-rdf-comments@w3.org
- Message-Id: <p06001f3bbbccd17f99f8@[10.1.31.1]>
Peter- with reference to your comments http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0091.html http://lists.w3.org/Archives/Public/www-rdf-comments/2003JanMar/0090.html concerning the completeness of the RDF and RDFs entailment rules, archived as pfps-04 and pfps-05, http://www.w3.org/2001/sw/RDFCore/20030123-issues/#pfps-04 http://www.w3.org/2001/sw/RDFCore/20030123-issues/#pfps-05 Your most recent comment, in response to the WG's reply, expresses deep dissatisfaction: http://lists.w3.org/Archives/Public/www-rdf-comments/2003JulSep/0178.html I believe that the most recent account of the rules, visible at http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/ may be more satisfactory as a response to your original objection and the subsequent comments. See in particular http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#simpleRules which provides a complete set of rules for detecting all cases of simple entailment, and http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#RDFSRules et. seq. , which provides a syntactic criterion for detecting inconsistency in RDFS. Please reply, CCing www-rdf-comments@w3.org, to indicate if this response is satisfactory as a resolution of the original comments. Pat -- --------------------------------------------------------------------- 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 Monday, 3 November 2003 23:02:50 UTC