Re: Moving owl:Nothing from DL to Lite

Overview has been updated to put owl:Nothing in OWL Lite
by doing the 2 points below along with adding an entry in the change log 
of the update.

New version with May 1 update in the normal place -
http://www.ksl.stanford.edu/people/dlm/webont/OWLOverview.htm

Deborah

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
>
>  
>

Received on Thursday, 1 May 2003 12:43:48 UTC