Recursive axioms in OWL DL

• From: Andrea Leonardi <leonardi@cs.unibo.it>
• Date: Sat, 4 Jun 2005 02:39:22 +0200 (CEST)
• To: public-owl-dev@w3.org
• Message-ID: <Pine.LNX.4.62.0506040214180.11341@crown.cs.unibo.it>

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.

Thanks in advance,
Andrea

Received on Saturday, 4 June 2005 07:02:43 UTC