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

Re: Moving owl:Nothing from DL to Lite

From: Jim Hendler <hendler@cs.umd.edu>
Date: Mon, 28 Apr 2003 09:43:09 -0400
Message-Id: <p05200f0ebad2e04b39a7@[10.0.1.2]>
To: Ian Horrocks <horrocks@cs.man.ac.uk>, www-webont-wg@w3.org

In my opinion, we could make this change without needing a second LC 
or CR due to the minimality of the change.
  -JH


At 14:24 +0100 4/28/03, Ian Horrocks wrote:
>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

-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler
Received on Monday, 28 April 2003 09:43:23 GMT

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