Answering Queries with Negation over Existential Rules.
Stefan EllmauthalerMarkus KrötzschStephan MennickePublished in: CoRR (2021)
Keyphrases
- answering queries
- query answering
- existentially quantified
- data exchange
- query processing
- conjunctive queries
- logic programs
- data complexity
- association rules
- horn clauses
- data integration
- first order logic
- incomplete information
- materialized views
- database
- integrity constraints
- query rewriting
- description logics
- ontology languages
- dl lite
- databases