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