L. Georgieva, U. Hustadt, and R. A. Schmidt (2002a): On the relationship between decidable fragments, non-classical logics, and description logics

L. Georgieva, U. Hustadt, R. A. Schmidt (2002a): ``On the relationship between decidable fragments, non-classical logics, and description logics.'' In I. Horrocks and S. Tessaris, editors, Proceedings of the International Workshop on Description Logics DL2002 (Toulouse, France, April 19-21 2002), pp. 25-36.
Abstract, BiBTeX, PostScript

The guarded fragment and its extensions and subfragments have often been considered as a framework for investigating the properties of description logics. But there are other decidable fragments which al l 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. [an error occurred while processing this directive]