Hustadt, U. ; Schmidt, R. A. ; Georgieva, L.: A Survey of Decidable First-Order Fragments and Description Logics, 2004