Anfonwch hwn fel neges destun: Conjunctive query answering for the description logic SHIQ