Stable Model Semantics for Tuple-Generating Dependencies Revisited.
Mario AlvianoMichael MorakAndreas PierisPublished in: PODS (2017)
Keyphrases
- stable model semantics
- tuple generating dependencies
- function symbols
- logic programs
- answer set programming
- inconsistent databases
- consistent answers
- query answering
- stable models
- logic programming
- conjunctive queries
- data exchange
- database schema
- answer sets
- integrity constraints
- consistent query answering
- desirable properties
- reasoning tasks
- fixpoint
- database
- data complexity
- inductive logic programming
- rdf graphs
- schema mappings
- query rewriting
- data integration
- deductive databases
- first order logic