Seol mar théacs é seo: Conjunctive query answering for the description logic SHIQ