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

Back