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

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

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Wed, 13 Nov 2002 11:56:57 +0000
Message-Id: <5.1.0.14.0.20021113115623.03fc3100@0-mail-1.hpl.hp.com>
To: "Jos De_Roo" <jos.deroo.jd@belgium.agfa.com>, "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>

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 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:05 EDT