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

OWL Lite semantics

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 6 Dec 2002 19:51:37 +0100
To: <www-webont-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDKEOFCAAA.jjc@hpl.hp.com>

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







Received on Friday, 6 December 2002 13:51:40 GMT

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