Re: Recursive axioms in OWL DL

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

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 UTC