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

Re: description-logic208

From: Sean Bechhofer <seanb@cs.man.ac.uk>
Date: Wed, 8 Oct 2003 11:05:41 +0100 (GMT Daylight Time)
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: www-webont-wg@w3.org
Message-ID: <Pine.WNT.4.44.0310081103140.2108-100000@potato>

On Wed, 8 Oct 2003, Jeremy Carroll wrote:

> Would you like me to change the test by deleting this part of the conclusion?

This would be a solution.

> We could add a separate test with this part as a nonconclusion.
> Any idea what the minimal premises are?
> Is it worth comparing the test with the original DL 98 test (or is that oo
> much of a pain)?

I tried that, and yes it's a pain :-). I'm not quite sure what went wrong
-- given that the rest of the tests seem ok I don't think that there's a
problem with the translation code, but it could be that I messed up


Sean Bechhofer
Received on Wednesday, 8 October 2003 06:06:16 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:49 UTC