Consequence-Based Reasoning For The Description Logic Sroiq