W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

Re: OWL Lite semantics

From: Jim Hendler <hendler@cs.umd.edu>
Date: Fri, 6 Dec 2002 14:25:58 -0500
Message-Id: <p05111709ba16a9fef461@[129.2.176.111]>
To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>, <www-webont-wg@w3.org>

At 7:51 PM +0100 12/6/02, Jeremy Carroll wrote:
>In the current semantics draft, OWL Lite just gets the same semantics as OWL
>DL on the syntactic subset.
>It would be possible in our one-dimensional layering to give OWL Lite a
>reduced semantics.
>
>This has the following advantages:
>- clearly differentiation between the two
>- much easier to implement OWL Lite so it really becomes an entry level
>
>I attach a modified version of section 5 of the semantics doc that changes a
>few iffs to if-then's, and drops comprehension.
>
>As far as I can tell, teh vast majority of the entailments discussed in the
>feature synopsis under OWL Lite are preserved, at much easier
>implementability.
>
>Also we can add hasValue without any difficulty.
>
>It permits a conformance statement, in a subsequent e-mail, that has no
>leeway, but is truely Lite.
>
>Jeremy
>

Jeremy - this is a very nice contribution and I think the WG should 
consider it very seriously - it addresses some comments we've 
received about OWL Lite still being too heavy (mostly because of the 
iffs) -JH
-- 
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 Friday, 6 December 2002 14:26:07 GMT

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