Extending Consequence-Based Reasoning to SRIQ | Read Paper on Bytez