Re: Chair's Concerns re: Test Cases and CR

On Wed, 2003-09-24 at 18:06, Jim Hendler wrote:
[...]
> This makes me nervous as both S&AS and Test are supposed to be
> normative, and they seem to disagree.

To me, it's a feature, not a bug, that we have redundant
specs and we're finding niggling details where they
disagree, but...

> 2 -
> 
> There are a very small number of tests that have not yet been passed -
> however, two of them are:
> 
> [Results] miscellaneous-001 levels:DL, Full [APPROVED: Med L XXL] 
> Wine example taken from the guide.
> 
> [Results] miscellaneous-002 levels:DL, Full [APPROVED: Med L XXL] Food
> example taken from the guide.
> 
> both of which are DL tests taken from examples from the Guide.   In
> the worst case we could always make the tests extra credit or simply
> change the Guide a bit -- but as Chair it concerns me that a document
> created by our own WG to be an example of a typical use of OWL is
> generating a test that none of our reasoners seem to be able to pass.

I noticed that a few times, and I'm very curious, if not
concerned.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/