- From: Dan Connolly <connolly@w3.org>
- Date: 28 Apr 2003 10:24:47 -0500
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- Cc: www-webont-wg@w3.org
On Mon, 2003-04-28 at 08:44, Ian Horrocks wrote: > On April 28, Ian Horrocks writes: > > > > The changes required to the various documents in order to implement > > this change seem to be very minor. As far as I can tell they would be > > limited to: [...] Thanks for spelling that out. The net effect of all this looks positive to me. > [snip] > > I forgot to mention: > > Test > ==== > > In C.2.2. "Language Compliance Levels": > > test 001 would, perhaps, be redundant (could change it to an > "interesting" inconsistent document test by adding an instance of the > Nothing class); > > test 002 would become 100% Lite. > > In C.3.1. "Extended Satisfiability Tests": > > test 002 conclusion KB would be Lite. > > In C.3.2. "Heinsohn's Tests": > > test 105 conclusion KB would be Lite. > > > Regards, Ian -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Monday, 28 April 2003 11:24:47 UTC