发送短信: Rewriting Conjunctive Queries under Description Logic Constraints