Re: Recursive axioms in OWL DL

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.