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