Department of Computer Science, University of Oxford: Publication - Conjunctive Query Answering for the Description Logic <span style="font-family: serif"><span style="font-family: cursive; text-transform: uppercase; font-style: italic">SHIQ</span></span>