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