Textmeddelande: Knowledge representation and reasoning