A hybrid ABox calculus using algebraic reasoning for the Description Logic SHIQ