Consistency Checking for Extended Description Logics. - Olivier Couchariere; Marie-Jeanne Lesot; Bernadette Bouchon-Meunier (Description Logics, 2008)