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

Re: Jena2 OWL semantic tests - preliminary results

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Wed, 24 Sep 2003 22:12:37 +0100
Message-ID: <3F7208C5.8010006@hplb.hpl.hp.com>
To: Sandro Hawke <sandro@w3.org>
Cc: public-webont-comments@w3.org, jena-devel <jena-devel@lists.sourceforge.net>

Sandro Hawke wrote:

>>The negative entailment tests are reported as passing in the weak sense that 
>>we 
>>do not find the entailment. These should probably be reported as incomplete 
>>rather than pass.
> 
> They should indeed; will you please change this?

Done.

> 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've chosen to skip them since that seems to be what other similar 
systems have done.

Dave
Received on Wednesday, 24 September 2003 17:19:45 GMT

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