U. Hustadt, R. A. Schmidt, and L. Georgieva (2004): ``A Survey of Decidable First-Order Fragments and Description Logics.'' Journal on Relational Methods in Computer Science$
Abstract, BibTeX, PDF.

The guarded fragment and its extensions and subfragments are often considered as a framework for investigating the properties of description logics. There are also other, some less well-known, decidable fragments of first-order logic which all have in common that they generalise the standard translation of ALC to first-order logic. We provide a short survey of some of these fragments and motivate why they are interesting with respect to description logics, mentioning also connections to other non-classical logics.

Logic and Computation Group at the Department of Computer Science, University of Liverpool
Maintained by Ullrich Hustadt, U.Hustadt@csc.liv.ac.uk, last updated Friday, 16-Aug-2013 15:33:13 BST © 1998-2004 by Ullrich Hustadt.