A Logic Based Approach for Managing Incompleteness and Inconsistencies in P2P Deductive Databases.
Luciano CaropreseEster ZumpanoPublished in: IDEAS (2015)
Keyphrases
- deductive databases
- logic programming
- declarative semantics
- model theoretic
- integrity constraints
- knowledge base
- peer to peer
- logical implication
- query evaluation
- semantic query optimization
- fixpoint
- nonmonotonic reasoning
- logic programs
- disjunctive deductive databases
- general logic programs
- constraint checking
- closed world assumption
- integrity checking
- stable models
- semantics of logic programs
- logic programming language
- fixpoint semantics
- declarative language
- hypothetical reasoning
- answer set programming
- incomplete information
- constraint logic programming
- multi valued
- answer sets
- modal logic
- inconsistent knowledge
- operational semantics
- federated databases
- object identity
- truth values
- defeasible logic
- description logics
- software engineering
- knowledge representation