- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 1 Aug 2002 22:00:27 +0200
- To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Cc: Ian Horrocks <horrocks@cs.man.ac.uk>, Jeremy Carroll <jjc@hplb.hpl.hp.com>, www-webont-wg@w3.org
> I have updated the 6 entailments tests, four Manfiest files > and a testOntology file in light of the telecon. > > The updates I tried to make are: > + delete .rdf suffices from all URIrefs > + follow the pattern of premises001 etc > i.e. - no 404s on URLs checked them and they are OK I think (but I think I get some conversion problems using cwm; xml:base maybe? anyhow, I continued by hand, and that also worked out with the proof as well) -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 1 August 2002 16:01:05 UTC