Query Answering with Inconsistent Existential Rules under Stable Model Semantics.
Hai WanHeng ZhangPeng XiaoHaoran HuangYan ZhangPublished in: CoRR (2016)
Keyphrases
- query answering
- consistent answers
- stable model semantics
- magic sets
- data exchange
- inconsistent databases
- integrity constraints
- logic programs
- incomplete information
- data integration
- answering queries
- data complexity
- consistent query answering
- answer set programming
- conjunctive queries
- ontology based data access
- query rewriting
- datalog programs
- stable models
- association rules
- query answers
- logic programming
- dl lite
- artificial intelligence
- closed world
- horn clauses
- data sets