Download the technical report
Conjunctive Query Answering for the Description Logic SHIQ.