Re: TEST: last call candidate (?) (4.2.2 nit)

On Wed, 2003-05-07 at 16:10, Dan Connolly wrote:
> Nifty!
> Criticism to follow separately ;-)

a nit, i.e. evidence that I've actually looked at it:

"An OWL consistency checker is complete, with respect to datatypes
supported by its datatype theory [OWL Semantics and Abstract Syntax],
if, given sufficient (but finite) resources (CPU cycles and memory) and
the absence of network errors, it will always return either Consistent
or Inconsistent; otherwise it is complete."

4.2.2. Consistency Checker

gee... that makes it pretty easy to build complete
consistency checkers ;-)

I think you meant:

   ... otherwise it is incomplete

Dan Connolly, W3C

Received on Wednesday, 7 May 2003 17:23:09 UTC