TY - RPRT TI - Conjunctive Query Answering for the Description Logic SHIQ AU - Birte Glimm AU - Ian Horrocks AU - Carsten Lutz AU - Ulrike Sattler PY - 2011 DO - 10.1613/jair.2372 UR - https://arxiv.org/abs/1111.0049 ID - 1111.0049 ER -