complete and terminating

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