Loop Restricted Existential Rules and First-Order Rewritability for Query Answering.
Vernon AsuncionYan ZhangHeng ZhangYun BaiWeisheng SiPublished in: KR (2018)
Keyphrases
- query answering
- conjunctive queries
- ontology based data access
- unions of conjunctive queries
- data exchange
- data complexity
- integrity constraints
- incomplete information
- data integration
- dl lite
- tuple generating dependencies
- description logics
- query rewriting
- answering queries
- conjunctive query answering
- query containment
- inconsistent databases
- horn clauses
- first order logic
- expressive power
- closed world
- association rules
- decision procedures
- probabilistic databases
- datalog programs
- data management
- model theoretic
- database
- machine learning
- regular path queries
- data sets
- databases
- data sources
- multi agent systems
- knowledge base