Expressive Description Logics

Diego Calvanese and Giuseppe De Giacomo

The Description Logic Handbook: Theory, Implementation and Applications. 2003.

This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we study reasoning in description logics that include general inclusion axioms, inverse roles, number-restrictions, reflexive-transitive closure of roles, fixpoint constructs for recursive definitions, and relations of arbitrary arity. The chapter will also address reasoning in knowledge bases including both a TBox and an ABox, and discuss more general ways to treat objects, such as the use of ONE-OF. Since the logics considered in the chapter lack the finite model property, finite model reasoning is of interest and will also be discussed. Finally, we mention several extensions to description logics that lead to undecidability, confirming that the expressive description logics considered in this chapter are close to the boundary between decidability and undecidability.

   title = "Expressive Description Logics",
   year = "2003",
   author = "Diego Calvanese and De Giacomo, Giuseppe",
   editor = "Franz Baader and Diego Calvanese and Deborah McGuinness and
Daniele Nardi and Patel-Schneider, Peter",
   booktitle = "The Description Logic Handbook:  Theory, Implementation and
   pages = "178--218",
   publisher = "Cambridge University Press",