- From: pat hayes <phayes@ihmc.us>
- Date: Fri, 7 Nov 2003 17:31:26 -0600
- To: Dave Reynolds <der@hplb.hpl.hp.com>
- Cc: w3c-rdfcore-wg@w3.org
>In a message on 25th July [1] I noted that the tests: > rdfms-seq-representation/Manifest.rdf#test002 > rdfms-seq-representation/Manifest.rdf#test004 >appeared to be incorrect. No, they are correct. The stuff mentioned in the conclusion doesnt have to be mentioned in the assumption. However, it is fine for a FORWARD rule-based reasoner not to generate all valid conclusions from an empty graph, just as it would make sense not to generate everything from a contradiction. But think of a query-responding engine that is given the conclusion as a query: it could just say YES without even bothering to check into its KB. >This comment does not seem to have been addressed and these tests >remain in the current wg approved tests (wg20031010). > >Dave > >[1] http://lists.w3.org/Archives/Public/www-rdf-comments/2003JulSep/0076.html 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 Friday, 7 November 2003 18:31:28 UTC