W3C home > Mailing lists > Public > www-webont-wg@w3.org > June 2002

Re: TEST: complex reasoning test cases?

From: Dan Connolly <connolly@w3.org>
Date: 06 Jun 2002 08:29:44 -0500
To: Ian Horrocks <horrocks@cs.man.ac.uk>
Cc: www-webont-wg@w3.org
Message-Id: <1023370186.25654.835.camel@dirk>

On Thu, 2002-06-06 at 04:27, Ian Horrocks wrote:
> 
> Up to now, all the "official" test cases I have seen involve
> relatively trivial reasoning, usually about named individuals. E.g.:
> 
> [ owl:oneOf ( :a :a :b ) ] owl:sameClassAs [ owl:oneOf ( :b :a :a ) ] .
> 
> Are we going to have test cases that involve more complex entailments,
> e.g., involving equivalent class expressions?

If you provide them, we will.

> Some time ago I
> submitted a whole set of examples of such test cases, many of which
> are carefully designed so to test the correctness of implementations.

You gave a pointer to some files; I looked at translating them
to DAML+OIL, but I couldn't understand them.

> 
> Ian
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 6 June 2002 09:29:18 GMT

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