Consequence-Driven Reasoning for Horn SHIQ Ontologies