Computing ABox Justifications for Query Answers via Datalog Rewriting.
Stefan BorgwardtSteffen BreuerAlisa KovtunovaPublished 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