Re: TEST: last call candidate (?)

Jeremy Carroll wrote:
> 

... snip ...

> Could I ask Jeff to review the imports tests:
> http://www.w3.org/2002/03owlt/editors-draft/draft/byFunction#function-imports

Jeremy,

I've reviewed the imports tests. A few comments:

1) You use single quotes instead of double quotes around attributes in
all of these tests

2) Test 002 would probably benefit from having a support-002-A document.
As it is, it is not clear if the non-entailment is because the support
document doesn't exist or because it is not imported. By having such a
document, this becomes clearer.

2a) The text of section 3.8 should be changed to allow for the above
comment. Change "The support documents are in the imports closure of the
premises document." to "The support documents may be in the imports
closure of the premises document."

3) I don't quite understand 004. Why is it that imports004 is Full?

4) Test 005 should probably say "If an OWL Lite document imports an OWL
DL document then it becomes OWL DL." in the description. This is more
consistent with the description of Test 004.

5) In Test 008, you should make it clear in the description that
imports008 is an ordinary RDFS document and that type declarations are
added by writing them in a document that imports the RDFS document.

Jeff

Received on Thursday, 8 May 2003 13:42:28 UTC