Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning

Show other versions (3)

We study the problem of rewriting a disjunctive datalog program into plain datalog. We show that a disjunctive program is rewritable if and only if it is equivalent to a linear disjunctive program, thus providing a novel characterisation of datalog rewritability. Motivated by this result, we propose...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors: Kaminski, M, Nenov, Y, Cuenca Grau, B
Format: Conference item
Udgivet: Association for Computing Machinery 2014
Show all versions (4)

Lignende værker