TEST

Jeremy,

Updated document looks good. Just a few remarks:

At the end of Sec 5 you say:
 
"A complete OWL Lite consistency checker should not return Unknown on
the OWL Lite consistency or inconsistency tests."

Although not ambiguous in the context of the other statements in the
document, it might be worth emphasising that this is the case
*regardless* of the datatypes supported/used.


Regarding the text:

+ If there are any datatypes that are required to be not supported by the test 
then at least one of them is not supported by the datatype theory of the 
checker. 

Is this correct - might there not be a case where it is necessary for
all of the relevant datatypes are not supported? This would depend on
the precise details of the test. E.g., there could be an instance of a
disjunction where the inconsistency of each disjunct depends on a
different datatype not being supported; the document is then
inconstant only if all of the relevant datatypes are not supported.

Regards,

Ian

Received on Saturday, 24 May 2003 09:14:51 UTC