@ARTICLE{HustadtSchmidtGeorgieva04,
AUTHOR = {Hustadt, U. and Schmidt, R. A. and Georgieva, L.},
YEAR = {2004},
TITLE = {A Survey of Decidable First-Order Fragments and Description Logics},
JOURNAL = {Journal of Relational Methods in Computer Science},
VOLUME = {1},
PAGES = {251--276},
NOTE = {Invited overview paper},
ABSTRACT = {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.},
}