Extending Consequence-Based Reasoning to SRIQ