Enviar aquest missatge de text: Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning