Rewriting Conjunctive Queries under Description Logic Constraints - Pérez−Urbina, H; Motik, B; Horrocks, I (Rome‚ Italy, 2008)