Rewriting Conjunctive Queries under Description Logic Constraints - Pérez−Urbina, H; Motik, B; Horrocks, I (Proc. of the Int. Workshop on Logics in Databases (LID 2008), 2008)