أرسل هذا في رسالة قصيرة: A general datalog-based framework for tractable query answering over ontologies.