Query Answering with Inconsistent Existential Rules under Stable Model Semantics.
Hai WanHeng ZhangPeng XiaoHaoran HuangYan ZhangPublished in: AAAI (2016)
Keyphrases
- query answering
- consistent answers
- stable model semantics
- magic sets
- inconsistent databases
- data exchange
- integrity constraints
- data complexity
- data integration
- incomplete information
- conjunctive queries
- logic programs
- consistent query answering
- dl lite
- query rewriting
- association rules
- answer set programming
- stable models
- ontology based data access
- datalog programs
- answering queries
- logic programming
- query answers
- object oriented
- query containment
- deductive databases
- data sets
- data sources
- query language
- xml documents
- machine learning
- databases