- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 29 May 2003 17:21:02 +0200
- To: "Dan Connolly" <connolly@w3.org>, "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
- Cc: <www-webont-wg@w3.org>
The test editor does not fully support imports. It does support http://www.w3.org/TR/2003/WD-owl-test-20030528/#testImportLevel 3.9. Import Level Tests but it does not support http://www.w3.org/TR/2003/WD-owl-test-20030528/#testImportEntailment 3.8. Import Entailment Tests I have a feeling you might be after a non-imports non-entailment test or worse. See the treatment of imports-002. To install and run the editor read http://www.w3.org/2002/03owlt/editors-draft/INSTALL http://www.w3.org/2002/03owlt/editors-draft/README for details (also INSTALL). I suspect it comes from a different world from your world. (tomcat required). What it does for you is a vairety of simple checks. However I should update the file download.tgz (which is really intended for people without CVS access to W3CCVS). I suspect you could (if sufficiently motivated) manage without. > > "Each directory should contain tests numbered consecutively from 001." > Oh dear, that's wrong, imports is like that but some of the others (e.g. description-logic) are not. Let's strike "consecutively". Jeremy
Received on Thursday, 29 May 2003 11:21:06 UTC