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

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 GMT

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