Αποστολή με SMS: International workshop on terminological logics