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

TEST: complex reasoning test cases?

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 6 Jun 2002 10:27:00 +0100
Message-ID: <15615.10980.658646.141193@merlin.oaklands.net>
To: www-webont-wg@w3.org

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

Received on Thursday, 6 June 2002 05:29:41 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:44 UTC