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

Re: TEST: proposal for test case structure

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 18 Jul 2002 12:27:40 +0100
Message-ID: <15670.42540.522122.762187@merlin.oaklands.net>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
Cc: "webont" <www-webont-wg@w3.org>

On July 16, Jeremy Carroll writes:

[...]

> 
> 4.3 Consistency test
> 
> A positive consistency test consists of one document.
> The document is consistent.
> 
> A positive consistency test consists of one document.
> The document is inconsistent.

What do you mean by an inconsistent document? Is it an OWL KB for which
there is no model?

What are the allowable answers to consistency/entailment questions?
Are they two valued (T/F or whatever) or three valued (including "don't
know")? If you allow "don't know" answers, then a system can be fully
compliant simply by answering "don't know" to all
consistency/entailment questions. If you don't allow "don't know"
answers, then incomplete systems will not be compliant.

Ian
Received on Thursday, 18 July 2002 07:30:43 GMT

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