Ralf Küsters Non-Standard Inferences in Description Logics Lecture Notes in Computer Science 2100 Springer 2001 3-540-42397-4 http://dx.doi.org/10.1007/3-540-44613-3