Re: OWL Lite semantics

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 UTC