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

Dan Connolly, W3C

Received on Wednesday, 24 September 2003 19:15:29 UTC