Tractable Query Answering and Rewriting under Description Logic Constraints - Pérez−Urbina, H; Motik, B; Horrocks, I (2009)