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

Moving owl:Nothing from DL to Lite

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

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:


Overview
========

In Section 3.1 "OWL Lite RDF Schema Features", under "Classes", append
the sentence "There is also a built-in most specific class named
Nothing that is the class that has no instances and a subclass of all
OWL classes.".

In Section 4 "Incremental Language Description of OWL DL and OWL
FULL", under "complex classes", delete the sentence "OWL also includes
a special "bottom" class with the name Nothing that is the class that
has no instances.".


Guide
=====

No change.


Reference
=========

In Section 3.1 "Class descriptions", delete "NOTE: owl:Nothing is not
included in OWL Lite.".

In Section 8.3 "OWL Lite", delete "owl:Nothing" from list of things
forbidden in Lite.


S&AS
====

In "Index of Vocabulary (Informative)", in the entry for
"owl:Nothing", add pointer to Section 2.1 in column labelled "Abstract
OWL Lite Syntax".


Editors of individual documents will no doubt want to double check to
see that I didn't miss anything.

Regards, Ian
Received on Monday, 28 April 2003 09:15:52 GMT

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