W3C home > Mailing lists > Public > public-webont-comments@w3.org > August 2002

Re: Questions about Feature Synopsis for OWL Lite and OWL

From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
Date: Wed, 14 Aug 2002 14:50:30 +0200
To: "Lacy . Lee" <LLacy@drc.com>, public-webont-comments@w3.org
Message-ID: <1378034819.1029336630@swpc243.cs.vu.nl>

Lacy Lee wrote:

> There is a reference to the predefined class "Nothing" in the section on
> complex classes (right before section 5).  Are "Thing" and "Nothing" part of
> Full OWL as opposed to OWL Lite?

Thing is in OWL Lite, Nothing is only in Full OWL.
This is also consistent with what the abstract syntax says ([1], just before 
section 4), but I agree that the Feature Spec could give the matter more 
(the justification is probably that the presence of Nothing allows one to 
encode much more expressiveness than we would want to allow in OWL Lite)

> Also, are "ObjectProperty" and "DatatypeProperty" part of OWL Lite or Full
> OWL?

Yes, the Feature Spec delegates this issue to the Abstract Syntax doc [1],
which (fortunately) is clearer on this.
They are both part of OWL Lite in a restricted form (see [2]),
with a more general form in Full OWL:

"OWL property axioms generalize OWL Lite property axioms by allowing
 descriptions in place of classes and data ranges in place of datatypes in
 domains and ranges."
(from [3])

Hope this answers your questions,
both are good pointers for us to improve the document.


Frank.van.Harmelen@cs.vu.nl              http://www.cs.vu.nl/~frankh
Department of AI, Faculty of Sciences,  Vrije Universiteit Amsterdam
de Boelelaan 1081a, 1081HV Amsterdam, The Netherlands
tel (+31)-20-444 7731/7700 fax (+31)-84-221 4294

[1] http://www.w3.org/TR/owl-absyn/
[2] http://www.w3.org/TR/owl-absyn/#5.1.3
[3] http://www.w3.org/TR/owl-absyn/#5.2.4
Received on Wednesday, 14 August 2002 08:50:53 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:28 UTC