TEST: harder tests - Lite & DL

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 UTC