We study peer-to-peer (P2P) 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 unique global schema. We propose a multi-modal epistemic logical formalization based on the idea that each peer is conceived as a rational agent that exchanges knowledge/belief with other peers, thus nicely modeling the modular structure of the system. We then address the issue of dealing with possible inconsistencies, and distinguish between two types of inconsistencies, called local and P2P, respectively. We define a nonmonotonic extension of our logic that is able to reason on the beliefs of peers under both local and P2P inconsistency tolerance. Tolerance to local inconsistency essentially means that the presence of inconsistency within one peer does not affect the consistency of the whole system. Tolerance to P2P inconsistency means being able to resolve inconsistencies arising from the interaction between peers. We study query answering in the new nonmonotonic logic, with the main goal of establishing its decidability and its computational complexity. Indeed, we show that, under reasonable assumptions on peer schemas, query answering is decidable, and is coNP-complete with respect to data complexity, i.e., the size of the data stored at the peers. (C) 2008 Elsevier B.V. All rights reserved.

Inconsistency tolerance in P2P data integration: An epistemic logic approach / Diego, Calvanese; DE GIACOMO, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo. - In: INFORMATION SYSTEMS. - ISSN 0306-4379. - STAMPA. - 33:4-5(2008), pp. 360-384. (Intervento presentato al convegno 10th International Symposium on Database Programming Languages tenutosi a Trondheim, NORWAY nel AUG 28-29, 2005) [10.1016/j.is.2008.01.007].

Inconsistency tolerance in P2P data integration: An epistemic logic approach

DE GIACOMO, Giuseppe;LEMBO, Domenico;LENZERINI, Maurizio;ROSATI, Riccardo
2008

Abstract

We study peer-to-peer (P2P) 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 unique global schema. We propose a multi-modal epistemic logical formalization based on the idea that each peer is conceived as a rational agent that exchanges knowledge/belief with other peers, thus nicely modeling the modular structure of the system. We then address the issue of dealing with possible inconsistencies, and distinguish between two types of inconsistencies, called local and P2P, respectively. We define a nonmonotonic extension of our logic that is able to reason on the beliefs of peers under both local and P2P inconsistency tolerance. Tolerance to local inconsistency essentially means that the presence of inconsistency within one peer does not affect the consistency of the whole system. Tolerance to P2P inconsistency means being able to resolve inconsistencies arising from the interaction between peers. We study query answering in the new nonmonotonic logic, with the main goal of establishing its decidability and its computational complexity. Indeed, we show that, under reasonable assumptions on peer schemas, query answering is decidable, and is coNP-complete with respect to data complexity, i.e., the size of the data stored at the peers. (C) 2008 Elsevier B.V. All rights reserved.
2008
computational complexity; consistent query answering; data integration; epistemic logic; peer data management
01 Pubblicazione su rivista::01a Articolo in rivista
Inconsistency tolerance in P2P data integration: An epistemic logic approach / Diego, Calvanese; DE GIACOMO, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo. - In: INFORMATION SYSTEMS. - ISSN 0306-4379. - STAMPA. - 33:4-5(2008), pp. 360-384. (Intervento presentato al convegno 10th International Symposium on Database Programming Languages tenutosi a Trondheim, NORWAY nel AUG 28-29, 2005) [10.1016/j.is.2008.01.007].
File allegati a questo prodotto
File Dimensione Formato  
VE_2008_11573-225608.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 551.4 kB
Formato Adobe PDF
551.4 kB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/225608
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 34
  • ???jsp.display-item.citation.isi??? 16
social impact