Computing ABox Justifications for Query Answers via Datalog Rewriting.

Stefan Borgwardt Steffen Breuer Alisa Kovtunova

Published in: Description Logics (2023)

Keyphrases

query answering
query answers
conjunctive queries
query rewriting
datalog programs
data exchange

data complexity
dl lite
integrity constraints
data integration
regular path queries
inconsistent databases

incomplete information
query evaluation
probabilistic databases
deductive databases
description logics

aggregate queries
query language
expressive power
relational algebra
error bounds