- 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
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