Αποστολή με SMS: A language that is an amalgam of propositional dynamic logic and description logic