Re: TEST: complex reasoning test cases?

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 UTC