Zaslat SMS: Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries