Non-standard inferences in description logics - Küsters, Ralf (Springer, 2001)