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

Re: Moving owl:Nothing from DL to Lite

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
Message-Id: <1051543487.2636.876.camel@dirk.dm93.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:58 GMT