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

Re: Moving owl:Nothing from DL to Lite

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Mon, 28 Apr 2003 14:44:39 +0100
Message-ID: <16045.12359.871510.720823@galahad.cs.man.ac.uk>
To: www-webont-wg@w3.org

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:

[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
Received on Monday, 28 April 2003 09:35:36 GMT

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