Query Answering with Guarded Existential Rules under Stable Model Semantics.
Hai WanGuohui XiaoChenglin WangXianqiao LiuJunhong ChenZhe WangPublished in: AAAI (2020)
Keyphrases
- query answering
- stable model semantics
- data exchange
- magic sets
- incomplete information
- data complexity
- answering queries
- logic programs
- integrity constraints
- conjunctive queries
- answer set programming
- data integration
- stable models
- dl lite
- ontology based data access
- query answers
- query rewriting
- datalog programs
- artificial intelligence
- consistent answers
- inconsistent databases
- data sets
- schema mappings
- data model
- machine learning