Inconsistency tolerance in P2P data integration: An epistemic logic approach.
Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo RosatiPublished in: Inf. Syst. (2008)
Keyphrases
- data integration
- epistemic logic
- data sharing
- super peer
- modal logic
- model checking
- data model
- data exchange
- data sources
- data management
- multi agent systems
- peer to peer
- data warehouse
- databases
- dynamic epistemic logic
- multi faceted
- query answering
- logical framework
- data cleaning
- inference rules
- mathematical theory
- heterogeneous data
- data transformation
- business intelligence
- query decomposition
- formal semantics
- temporal logic
- biological databases
- query rewriting
- database
- heterogeneous data sources
- formal specification
- schema mappings