Re: testing http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest

At 22:13 12/11/2002 +0100, Jos De_Roo wrote:

>I've been testing http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest
>more specifically the entailment parts of it.
>The test consists in asserting
>http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest
>and trying to prove the same
>http://www.w3.org/2000/10/rdf-tests/rdfcore/Manifest
>but when an entailmenttest is described it is also performed
>(all pieces are taken live from the web).
>
>I think that they all succeed i.e.

Phew! and well done Euler.

Brian

Received on Wednesday, 13 November 2002 06:55:23 UTC