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

Re: TEST: last call candidate (?)

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>
Message-ID: <Pine.WNT.4.44.0305090918450.2328-100000@potato>

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 GMT

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