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

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