أرسل هذا في رسالة قصيرة: Consequence-based reasoning for SRIQ ontologies