Αποστολή με SMS: Non-Standard Inferences in Description Logics