RE: types of OWL

> "OWL Lite" goes
> further in
> that direction, by ommiting some constructs known to be tough to work with
> using DL techniques.
>

From a reasoner's point of view OWL Lite is not that much lighter than OWL
DL (in fact some of the hardest of the OWL Test Cases are in the 'harder OWL
Lite' section, where I was perverse to give implementors a challenge).

The distinguishing feature that makes Lite, Lite (in my view) is that from
the point of a view of a *person* trying to understand (or write) an
ontology it is easier (unless people have been perverse, and expressed
ontologies which conceptually should be in OWL DL, but can be coded up into
OWL Lite).

Two examples are the owl:unionOf or owl:complementOf constructs. If you need
them you should (IMO) be using OWL DL or OWL Full, but it is possible to
abuse OWL Lite to get the same effect. The examples of this abuse in OWL
Test Cases are not intended as examples of good practice, more the opposite.

Jeremy

Received on Friday, 2 April 2004 08:15:04 UTC