A logic framework for P2P deductive databases
From MaRDI portal
(Redirected from Publication:5108527)
Abstract: This paper presents a logic framework for modeling the interaction among deductive databases in a P2P (Peer to Peer) environment. Each peer joining a P2P system provides or imports data from its neighbors by using a set of mapping rules, i.e. a set of semantic correspondences to a set of peers belonging to the same environment. Two different types of mapping rules are defined: mapping rules allowing to import a maximal set of atoms not leading to inconsistency (called maximal mapping rules) and mapping rules allowing to import a minimal set of atoms needed to restore consistency (called minimal mapping rules). Implicitly, the use of maximal mapping rules states it is preferable to import as long as no inconsistencies arise; whereas the use of minimal mapping rules states that it is preferable not to import unless a inconsistency exists. The paper presents three different declarative semantics of a P2P system: (i) the Max Weak Model Semantics, in which mapping rules are used to import as much knowledge as possible} from a peer's neighborhood without violating local integrity constraints; (ii) the Min Weak Model Semantics, in which the P2P system can be locally inconsistent and the information provided by the neighbors is used to restore consistency, that is to only integrate the missing portion of a correct, but incomplete database; (iii) the Max-Min Weak Model Semantics that unifies the previous two different perspectives captured by the Max Weak Model Semantics and Min Weak Model Semantics. This last semantics allows to characterize each peer in the neighborhood as a resource used either to enrich (integrate) or to fix (repair) the knowledge, so as to define a kind of integrate-repair strategy for each peer. Under consideration in Theory and Practice of Logic Programming (TPLP).
Recommendations
- Intensional Semantics for P2P Data Integration
- Database Programming Languages
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
- Foundations of Information and Knowledge Systems
- Distributed reasoning in a peer-to-peer setting: application to the semantic web
Cites work
- scientific article; zbMATH DE number 1696828 (Why is no real title available?)
- scientific article; zbMATH DE number 2088752 (Why is no real title available?)
- scientific article; zbMATH DE number 478394 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 733394 (Why is no real title available?)
- scientific article; zbMATH DE number 1503641 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- scientific article; zbMATH DE number 5043340 (Why is no real title available?)
- A framework for compiling preferences in logic programs
- A logic framework for P2P deductive databases
- A theory of diagnosis from first principles
- Answer sets for consistent query answering in inconsistent databases
- Consistency and trust in peer data exchange systems
- Data exchange: getting to the core
- Data exchange: semantics and query answering
- Database Programming Languages
- Distributed reasoning in a peer-to-peer setting: application to the semantic web
- Finding explanations of inconsistency in multi-context systems
- Preferred answer sets for extended logic programs
- Prioritized logic programming and its application to commonsense reasoning
- Propositional semantics for disjunctive logic programs
- The Semantics of Consistency and Trust in Peer Data Exchange Systems
Cited in
(11)- Database Programming Languages
- Intensional First-Order Logic for P2P Database Systems
- Intensional Semantics for P2P Data Integration
- The Semantics of Consistency and Trust in Peer Data Exchange Systems
- Distributed reasoning in a peer-to-peer setting: application to the semantic web
- The what-to-ask problem for ontology-based peers
- A logic framework for P2P deductive databases
- scientific article; zbMATH DE number 1927252 (Why is no real title available?)
- Non-conservative extension of a peer in a P2P inference system
- Database Programming Languages
- Consistency and trust in peer data exchange systems
This page was built for publication: A logic framework for P2P deductive databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5108527)
