- From: Jeff Heflin <heflin@cse.lehigh.edu>
- Date: Thu, 08 May 2003 13:42:16 -0400
- To: Jeremy Carroll <jjc@hpl.hp.com>
- CC: www-webont-wg@w3.org
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