Văn bản này: Rewriting Conjunctive Queries under Description Logic Constraints