Answering Queries with Negation over Existential Rules.
Stefan EllmauthalerMarkus KrötzschStephan MennickePublished in: AAAI (2022)
Keyphrases
- answering queries
- query answering
- data exchange
- query processing
- integrity constraints
- horn clauses
- existentially quantified
- data complexity
- logic programming
- first order logic
- logic programs
- database
- association rules
- data integration
- incomplete information
- conjunctive queries
- query rewriting
- natural language
- database management systems
- description logics
- management system
- dl lite
- data structure