W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: complete and terminating

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Thu, 15 May 2003 17:10:34 +0100
Message-ID: <16067.48122.10138.773828@galahad.cs.man.ac.uk>
To: Jeremy Carroll <jjc@hpl.hp.com>
Cc: www-webont-wg@w3.org

Looks good to me.

Ian

On May 15, Jeremy Carroll writes:
> 
> 
> 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:59:39 GMT

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