Describir: Rewriting Conjunctive Queries under Description Logic Constraints