- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Thu, 18 Jul 2002 12:27:40 +0100
- 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 UTC