- From: Sean Bechhofer <seanb@cs.man.ac.uk>
- Date: Fri, 9 May 2003 09:28:14 +0100 (GMT Daylight Time)
- To: Jeff Heflin <heflin@cse.lehigh.edu>
- cc: Jeremy Carroll <jjc@hpl.hp.com>, <www-webont-wg@w3.org>
On Thu, 8 May 2003, Jeff Heflin wrote: > > 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? In import004, c is stated to have type rdfs:Class (rather than owl:Class). Thus it's in Full (as it's not the result of a translation of a DL/Lite ontology). Sean -- Sean Bechhofer seanb@cs.man.ac.uk http://www.cs.man.ac.uk/~seanb
Received on Friday, 9 May 2003 04:31:58 UTC