Consequence-Based Reasoning For Sriq Ontologies