Datalog rewriting techniques for non-Horn ontologies

<p>We study the closely related problems of rewriting disjunctive datalog programs and non-Horn DL ontologies into plain datalog programs that entail the same facts for every dataset. We first propose the class of markable disjunctive datalog programs, which is efficiently recognisable and adm...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Kaminski, M, Nenov, Y, Grau, BC
Format: Conference item
Język:English
Wydane: CEUR-WS.org 2014
Hasła przedmiotowe:

Podobne zapisy