W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > December 2001

manifest files for entailment tests

From: <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 11 Dec 2001 01:07:34 +0100
To: w3c-rdfcore-wg@w3.org
Message-Id: <OFF7EADA47.3922D370-ONC1256B1E.008378D7@bayer-ag.com> 
This is just to tell about our progress w.r.t.
manifest files for entailment tests
We now have something like e.g.
  http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.n3
  http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.nt
  http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/etc001.rdf
where the rdfs:domain of log:entails and log:notEntails is
a collection of doc:Work things and the rdfs:range is a doc:Work
and it currently runs with http://www.agfa.com/w3c/euler/#R28069

--
Jos
Received on Monday, 10 December 2001 19:07:54 EST

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