Re: TEST: last call candidate (?)

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