Saturation-based Algebraic Reasoning for Description Logic ALCHQ