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

document question: theoretical properties of OWL sublanguages

From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 1 Jan 2003 18:02:47 -0500
Message-Id: <p05200f50ba39226588e5@[]>
To: webont <www-webont-wg@w3.org>

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?


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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:50 UTC