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...
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
-
Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
od: Kaminski, M, i wsp.
Wydane: (2014) -
Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
od: Kaminski, M, i wsp.
Wydane: (2014) -
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
od: Cuenca Grau, B, i wsp.
Wydane: (2016) -
Incremental update of datalog materialisation : the backward/forward algorithm
od: Motik, B, i wsp.
Wydane: (2015) -
Parallel materialisation of datalog programs in centralised, main-memory RDF systems
od: Motik, B, i wsp.
Wydane: (2014)