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

RE: More tests

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 25 Sep 2003 16:26:31 +0200
To: "Ian Horrocks" <horrocks@cs.man.ac.uk>, <www-webont-wg@w3.org>

> One type of test that we are missing is small tests that, while
> potentially easy may prove difficult for some naive implementations.
> Attached is an example of such a test. The "TEST" class, and hence the
> ontology, is inconsistent. I would like to add several of these kinds
> of test to the test suite.
> I would be interested to hear how the various implementations fare on
> this test (FaCT can pass it in about 10ms, not including parsing).
> The test is currently in DL but could easily be converted into Lite.

I will add this, and also see if my autoconvert DL=>Lite code still works.

You suggested switching from DatatypeProperties to ObjectProperties or
vice-versa didn't you?

If you've more tests to donate, let's put them in.

(It won't be til tomorrow at the earliest though).

Received on Thursday, 25 September 2003 10:40:00 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:55 UTC