Inconsistency Tolerance in P2P Data Integration: an Epistemic Logic Approach

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati.
In Proc. of the Tenth International Symposium on Database Programming Languages (DBPL 2005), Lecture Notes in Computer Science, volume 3774, pages 90-105, Springer, 2005. ISBN 3-540-30951-9.



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.

Bibtex entry:

@String{DBPL-05 = "Proc.\ of the Tenth International Symposium on Database Programming Languages (DBPL~2005)"}

@String{LNCS = "Lecture Notes in Computer Science"}

@String{SV = "Springer"}

author = "Diego Calvanese and De Giacomo, Giuseppe and Domenico Lembo and Maurizio Lenzerini and Riccardo Rosati",
title = "Inconsistency Tolerance in {P2P} Data Integration: an Epistemic Logic Approach",
booktitle = DBPL-05,
pages = "90--105",
publisher = SV,
series = LNCS,
volume = 3774,
year = 2005,
isbn = "3-540-30951-9",

Link to electronic version of published paper