Re: Moving owl:Nothing from DL to Lite

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/