Αποστολή με SMS: Description Logic, Theory Combination, and All That