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

TEST: harder tests - Lite & DL

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Tue, 22 Apr 2003 22:47:03 +0300
To: www-webont-wg@w3.org
Message-Id: <200304222247.03419.jjc@hpl.hp.com>


I reworked Sean's tests to:
- be syntactically correct
- be consistency or inconsistency tests rather than non-entailments or 
entailments

I copied his tests and reworked them to be in OWL LIte (except for those using 
a cardinality constraint > 1)

These new Lite tests can be found in

http://www.w3.org/2002/03owlt/editors-draft/draft/XXL#proposed-dl-600-harderlite

I am still concerned that the tests do not adequately excercise the 
known-to-be-difficult parts of OWL DL.

The 'DL' tests can in the main, be reformulated as lite tests.

We should, IMO, have tests that exercise descriptions of finite collections of 
things with rich interactions.

I am wondering whether I can give a detailed description of my Venn triangles
http://www-uk.hpl.hp.com/people/jjc
(the picture)
in OWL DL - I think that might present a different sort of challenge to a 
classic DL test with a single bell or whistle.

Jeremy
Received on Tuesday, 22 April 2003 16:46:51 GMT

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