Non-Standard Inferences in Description Logics door Ralf Kuesters