Αποστολή με SMS: A Proof Theory for Description Logics