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

Re: Error in current WG test cases?

From: pat hayes <phayes@ihmc.us>
Date: Fri, 7 Nov 2003 17:31:26 -0600
Message-Id: <p06001f79bbd1db575399@[10.1.31.1]>
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 EST

This archive was generated by hypermail pre-2.1.9 : Friday, 7 November 2003 18:31:31 EST