A Survey of Decidable First-Order Fragments and Description Logics
U. Hustadt, R. A. Schmidt, and L. Georgieva
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.
Journal on Relation Methods in Computer Science, Vol. 1, pp. 251-276,
2004