On the relationship between decidable fragments, non-classical logics, and description logics.
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt · 2002
The guarded fragment [1] and its extensions and subfragments have often been considered as a framework for investigating the properties of description logics [8, 18]. But there are other decidable fragments which all have in common that they generalise the standard translation of 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. 1