Non-Standard Inferences in Description Logics : From Foundations and Definitions to Algorithms and Analysis - Ralf Küsters ((Lecture Notes in Computer Science))