Zaslat SMS: Conjunctive queries for EL with role composition