W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2005

Re: Recursive axioms in OWL DL

From: Bijan Parsia <bparsia@isr.umd.edu>
Date: Sat, 4 Jun 2005 08:10:26 -0400
Message-Id: <94e04645ee99c9b83627fae336f70f0e@isr.umd.edu>
Cc: public-owl-dev@w3.org
To: Andrea Leonardi <leonardi@cs.unibo.it>

On Jun 3, 2005, at 8:39 PM, Andrea Leonardi wrote:

> Hi,
>
> I just wanted to know whether the constraint
>
>   "All axioms must be well-formed, with no missing or
>    extra components, and must form a tree-like structure"
>   (OWL Web Ontology Language Reference, sec. 8.2)
>
> implies that the TBox of an OWL DL application
> (seen as a Description Logic) must NOT be cyclic.

Nope. Both OWL Lite and DL support fully general TBoxes (i.e., GCIs)

(Besides, this is the reference which is non-normative. It doesn't pay 
to read it *too* closely.)

Cheers,
Bijan.
Received on Saturday, 4 June 2005 12:10:32 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:53 GMT