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