W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

RE: making imports tests

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>
Message-ID: <BHEGLCKMOHGLGNOKPGHDMELACBAA.jjc@hpl.hp.com>


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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT