manifest files for entailment tests

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 UTC