Conjunctive Query Answering for the Description Logic SHIQ - Glimm, B; Horrocks, I; Lutz, C; Sattler, U (2008)