Non-Standard Inferences in Description Logics | lit.salon