Consequence-based Algebraic Reasoning for SHOQ