On the Influence of Incoherence in Inconsistency-tolerant Semantics for Datalog±.
Cristhian A. D. DeagustiniMaria Vanina MartinezMarcelo A. FalappaGuillermo Ricardo SimariPublished in: JOWO@IJCAI (2015)
Keyphrases
- logic programming
- sound and complete with respect
- deductive databases
- database languages
- formal semantics
- fixpoint semantics
- expressive power
- relational calculus
- classical logic
- query language
- valued semantics
- query answering
- integrity constraints
- integrity checking
- semantic information
- logic programs
- relational query languages
- transitive closure
- fixpoint
- datalog programs
- model theoretic
- database query languages
- programming language
- answer set programming
- relational algebra
- dl programs
- knowledge base