Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati

Revised selected papers of the 10th Int. Symposium on Database Programming Languages (DBPL 2005). Volume 3774 of Lecture Notes in Computer Science. 2005.

We study peer-to-peer data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by means of mappings among the peer schemas, rather than through a global schema. We propose a multi-modal epistemic semantics based on the idea that each peer is conceived as a rational agent that exchanges knowledge/belief with other peers. This formalization nicely models the modular structure of the system, including the notion of localization of inconsistencies, in the sense that the presence of inconsistency within one peer does not affect the consistency of the whole system. We then address the issue of possible inconsistencies arising from the interaction between peers. To this end, we define a nonmonotonic extension of our logic that is able to repair mutual inconsistent information flowing from different peers. We study query answering and its data complexity in this setting, and we present an algorithm that is sound and complete with respect to the proposed semantics, and optimal with respect to worst-case complexity.


@inproceedings{DBPL-2005,
   title = "Inconsistency Tolerance in P2P Data Integration:  An Epistemic
Logic Approach",
   year = "2005",
   author = "Diego Calvanese and De Giacomo, Giuseppe and Domenico
Lembo and Maurizio Lenzerini and Riccardo Rosati",
   booktitle = "Revised selected papers of the 10th Int. Symposium on
Database Programming Languages (DBPL 2005)",
   pages = "90--105",
   volume = "3774",
   publisher = "Springer",
   series = "Lecture Notes in Computer Science",
   doi = "10.1007/11601524_6",
}
pdf url