Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach.
Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo RosatiPublished in: DBPL (2005)
Keyphrases
- data integration
- epistemic logic
- data sharing
- super peer
- modal logic
- model checking
- peer to peer
- data model
- data sources
- logical framework
- data exchange
- databases
- multi agent systems
- data management
- dynamic epistemic logic
- inference rules
- data warehouse
- multi faceted
- query answering
- data cleaning
- mathematical theory
- heterogeneous data
- data transformation
- formal semantics
- query decomposition
- schema mappings
- heterogeneous data sources
- data mining
- cooperative
- biological databases
- business intelligence
- temporal logic
- expert systems
- model checker
- data integration systems