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

Re: TEST

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Mon, 26 May 2003 17:18:25 +0300
To: www-webont-wg@w3.org
Message-Id: <200305261718.25529.jjc@hpl.hp.com>


Ian:
[[
"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.
]]
accepted

"A complete OWL Lite consistency checker should not return Unknown on
the OWL Lite consistency or inconsistency tests, regardless of the use of
unsupported datatypes."

[[
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 
]]

Yes with a closed world assumption, no without.
Since the sentence implicitly refers to a finite set of tests (I believe there 
is only one test with more than one notSupportedDatatype) we can exhaustively 
check, which I have done.

If we decide that the sort of test you describe is desirable then this section 
will need work: I suggest not doing that work until we have such a test (and 
if we had one such test only I might be inclined to highlight as an exception 
as opposed to generalizing the text, rather like imports-002).

Jeremy
 
Received on Monday, 26 May 2003 11:18:27 GMT

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