Non-Standard Inferences in Description Logics by Ralf Kuesters