A Survey of Decidable First-Order Fragments and Description Logics

Hustadt, U., Schmidt, R. A. and Georgieva, L. (2004)

Journal of Relational Methods in Computer Science 1, 251-276. Invited overview paper. BiBTeX, Postscript, 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.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 08 Apr 08
Copyright © 2004 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk