W3C home > Mailing lists > Public > public-webont-comments@w3.org > September 2003

RE: [Jena-devel] Re: Jena2 OWL semantic tests - preliminary results

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 25 Sep 2003 12:38:32 +0200
To: "Sandro Hawke" <sandro@w3.org>, "Dave Reynolds" <der@hplb.hpl.hp.com>
Cc: <public-webont-comments@w3.org>, "jena-devel" <jena-devel@lists.sourceforge.net>
Message-ID: <BHEGLCKMOHGLGNOKPGHDEEBJCCAA.jjc@hpl.hp.com>

>
> As I understand it, passing a N.E.T. means proving that the entailment
> does not hold in the given logic (DL, Full, Lite).  Calling it
> incomplete at least says it's not a "Fail", and the output link can
> give details about how thorough the search for a decision was (even
> though finding one would have indicated a failure).  Or you can just
> skip them, since you know it'll never pass.

I think there is distinct value in reporting an incomplete here as opposed
to being silent.

The plausibility of the logical correctness of the tests is enhanced by the
number of reasonable thorough systems that do not fail these tests.

Jeremy
Received on Thursday, 25 September 2003 06:42:51 GMT

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