أرسل هذا في رسالة قصيرة: Computing datalog rewritings for disjunctive datalog programs and description logic ontologies