- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Thu, 15 May 2003 17:17:03 +0300
- To: www-webont-wg@w3.org
Just in case the datatype issue doesn't blow away the test LC here is some compromise text which we might like to use on the other point of contention decisive or complete. I believe that Ian is correct to say that Pat's criticism of non-standard usage of complete can be addressed by the use of the phrase "complete and terminating". However, since "a complete and terminating OWL Lite consistency checker" is a bit of a mouthful, I think we can omit the "and terminating" in that phrase. i.e. CURRENT Editors TEXT (uses word "decisive"): [[ An OWL consistency checker is decisive, with respect to datatypes supported by its datatype theory, if, given sufficient (but finite) resources (CPU cycles and memory) and the absence of network errors, it will always return either Consistent or Inconsistent for an input document which only uses such datatypes. It has been shown that for OWL Lite and DL it is possible to construct a decisive consistency checker (the languages are decidable), and that for OWL full it is not possible to construct a decisive consistency checker (the language is undecidable, [Practical Reasoning]). ... A decisive OWL Lite consistency checker is an OWL consistency checker that is decisive. A decisive OWL DL consistency checker is an OWL consistency checker that is decisive. ]] Possible modified text: [[ An OWL consistency checker is complete and terminating, with respect to datatypes supported by its datatype theory, if, given sufficient (but finite) resources (CPU cycles and memory) and the absence of network errors, it will always return either Consistent or Inconsistent for an input document which only uses such datatypes. It has been shown that for OWL Lite and DL it is possible to construct a complete and terminating consistency checker (the languages are decidable), and that for OWL full it is not possible to do so (the language is undecidable, [Practical Reasoning]). ... A complete OWL Lite consistency checker is an OWL consistency checker that is complete and terminating. A complete OWL DL consistency checker is an OWL consistency checker that is complete and terminating. ]] the link which was dfn-complete is now dfn-decisive would become dfn-complete-and-terminating, otherwise the links remain unchanged. (noting there is a different proposal to delete the last sentence of the quoted text). Jeremy
Received on Thursday, 15 May 2003 11:16:56 UTC