Loop Restricted Existential Rules and First-order Rewritability for Query Answering.
Vernon AsuncionYan ZhangHeng ZhangPublished in: CoRR (2018)
Keyphrases
- query answering
- conjunctive queries
- ontology based data access
- unions of conjunctive queries
- data exchange
- data complexity
- integrity constraints
- tuple generating dependencies
- answering queries
- description logics
- dl lite
- data integration
- incomplete information
- query rewriting
- decision procedures
- expressive power
- conjunctive query answering
- first order logic
- inconsistent databases
- datalog programs
- query containment
- horn clauses
- schema mappings
- probabilistic databases
- data management
- data sets
- machine learning
- query answers
- regular path queries
- closed world
- artificial intelligence
- database systems
- databases