document question: theoretical properties of OWL sublanguages

I have now read all the documents (except test) and am typing up my 
reviews.  One thing I noticed, however, was that although we spent a 
lot of time in the WG discussing the theoretical properties of Lite, 
DL and Full (and this was a major part of our decision as to whether 
to include hasValue in Lite v. DL) none of the current documents 
actually discusses this.

Ian wrote up a description in email [1] that formally distinguishes 
these, but it is not in the documents.  I would propose that we 
consider adding Ian's note (edited a bit to become a document 
section) as an APPENDIX to the SEMANTICS document.  This could then 
be referred to in the other documents - with a ref to Guide for an 
informal distinction and to this appendix as a formal one.  If not 
there, we really need a version of this somewhere in our documents.

Semantics editors, would you consider this please?  If you think it 
inappropriate, where would you suggest we include it?

  thanks
  JH




[1] http://lists.w3.org/Archives/Public/www-webont-wg/2002Dec/0239.html

-- 
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 Wednesday, 1 January 2003 18:02:50 UTC