Αποστολή με SMS: Knowledge representation and reasoning