Non-Standard Inferences in Description Logics From Foundations and Definitions to Algorithms and Analysis - Küsters, Ralf; Küsters, Ralf (Springer Berlin Heidelberg : Imprint: Springer, 2001)