Re: Error in current WG test cases?

>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