Journal of Logic Programming
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Ontologies: a silver bullet for knowledge management and electronic commerce
Ontologies: a silver bullet for knowledge management and electronic commerce
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Data Integration under Integrity Constraints
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Massive Parallelism for Query Answering in Weakly Integrated P2P Systems
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Intensional semantics for RDF data structures
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Intensional First-Order Logic for P2P Database Systems
Journal on Data Semantics XII
Logic in databases: report on the LID 2008 workshop
ACM SIGMOD Record
Conservative intensional extension of Tarski's semantics
Advances in Artificial Intelligence - Special issue on Artificial Intelligence Applications in Biomedicine
| Hi-index | 0.00 |
One of the main issue in formalizing the Peer-To-Peer (P2P) database systems is the semantic characterization of P2P mappings. Each peer must be robust enough in order to take in account the incomplete and locally inconsistent information of its source databases, typical in Web applications. We consider a peer as a local epistemic logic system with its own belief, independent from other peers and their own beliefs. The traditional extensional semantics for mappings between peers destroys such epistemic independence of peers: the beliefs of other peers (also when change dynamically) are locally introduced into a given peer, so that its own belief depends directly and automatically from other peers. Moreover, the information that one peer provides to another peer may be inconsistent with the information known by the later. This motivates the need of a new, alternative semantic characterization of P2P mappings based not on the extension but on the meaning of concepts used in the mappings. We present a novel proposal, based on intensional logic, and show that it adequately models this weakly-coupled framework and supports decidable query answering.