A Tableau-based Algebraic Calculus for Description Logic SHOIQ