Zaslat SMS: Tractable Query Answering and Rewriting under Description Logic Constraints