- 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
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 somewhere. Sean -- Sean Bechhofer seanb@cs.man.ac.uk http://www.cs.man.ac.uk/~seanb
Received on Wednesday, 8 October 2003 06:06:16 UTC