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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron: Kaminski, M, Nenov, Y, Cuenca Grau, B
Fformat: Conference item
Cyhoeddwyd: Association for Computing Machinery 2014
Show all versions (4)

Eitemau Tebyg