Non-Standard Inferences in Description Logics : The Story So Far