The implication problem for functional and inclusion dependencies
Information and Control
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Navigational plans for data integration
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The logic of knowledge bases
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Improving Data Access in P2P Systems
IEEE Internet Computing
A Portrait of the Semantic Web in Action
IEEE Intelligent Systems
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Query Rewriting with Symmetric Constraints
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
On the Expressive Power of Data Integration Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Composing schema mappings: second-order dependencies to the rescue
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Composing mappings among data sources
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Query rewriting and answering under constraints in data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Leveraging web-services and peer-to-peer networks
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
HePToX: marrying XML and heterogeneity in your P2P databases
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
Proceedings of the 14th ACM international conference on Information and knowledge management
Models for semantic interoperability in service-oriented architectures
IBM Systems Journal
Information Systems - Special issue: The semantic web and web services
Analyzing workflows implied by instance-dependent access rules
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reconciling while tolerating disagreement in collaborative data sharing
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Peer-to-peer form based web information systems
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
ACM Transactions on Database Systems (TODS)
On reconciling data exchange, data integration, and peer data management
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Queries and updates in the coDB peer to peer database system
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Update exchange with mappings and provenance
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
NETB'07 Proceedings of the 3rd USENIX international workshop on Networking meets databases
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
XML data integration in SixP2P: a theoretical framework
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
World-set decompositions: Expressiveness and efficient algorithms
Theoretical Computer Science
A framework for semantic grouping in P2P databases
Information Systems
Consistent Data Integration in P2P Deductive Databases
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Mapping Properties of Heterogeneous Ontologies
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
P2P OLAP: Data model, implementation and case study
Information Systems
Semantic Data Integration in P2P Environment Using Schema Mappings and Agent Technology
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Local and Distributed Defeasible Reasoning in Multi-Context Systems
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Distributed Defeasible Contextual Reasoning in Ambient Computing
AmI '08 Proceedings of the European Conference on Ambient Intelligence
A Segmentation-Based Approach for Approximate Query over Distributed Ontologies
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Complexity of Reasoning With Expressive Ontology Mappings
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Information Flow in a Peer-to-Peer Data Integration System
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Ontology-Based Query Interface in a System for Semantic Integration of XML Data
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Intensional First-Order Logic for P2P Database Systems
Journal on Data Semantics XII
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Distributed reasoning in a peer-to-peer setting: application to the semantic web
Journal of Artificial Intelligence Research
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Non-conservative extension of a peer in a P2P inference system
AI Communications
Cooperative update exchange in the Youtopia system
Proceedings of the VLDB Endowment
Journal on data semantics VIII
On relating heterogeneous elements from different ontologies
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Schema mapping and query translation in heterogeneous P2P XML databases
The VLDB Journal — The International Journal on Very Large Data Bases
The semantics of consistency and trust in peer data exchange systems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Querying a super-peer in a schema-based super-peer network
DBISP2P'05/06 Proceedings of the 2005/2006 international conference on Databases, information systems, and peer-to-peer computing
Benefit and cost of query answering in PDMS
DBISP2P'05/06 Proceedings of the 2005/2006 international conference on Databases, information systems, and peer-to-peer computing
P2P query reformulation over both-as-view data transformation rules
DBISP2P'05/06 Proceedings of the 2005/2006 international conference on Databases, information systems, and peer-to-peer computing
Modeling cooperation in P2P data management systems
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Data integration in a system with agents' models
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
Logic in databases: report on the LID 2008 workshop
ACM SIGMOD Record
Information flow based specification of data integration problem
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Generating schema mappings based on annotations in a P2P data integration system
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Polymorphic queries for P2P systems
Information Systems
Aggregates and priorities in P2P data management systems
Proceedings of the 15th Symposium on International Database Engineering & Applications
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
World-set decompositions: expressiveness and efficient algorithms
ICDT'07 Proceedings of the 11th international conference on Database Theory
Reconciling concepts and relations in heterogeneous ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Mapping maintenance in XML p2p databases
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
File correspondences dictionary construction in multilingual p2p file sharing systems
EUC'06 Proceedings of the 2006 international conference on Emerging Directions in Embedded and Ubiquitous Computing
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
Matching ontologies in open networked systems: techniques and applications
Journal on Data Semantics V
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Semantic integration of enterprise information: challenges and basic principles
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Intensional semantics for p2p data integration
Journal on Data Semantics VI
Flexible intensional query-answering for RDF peer-to-peer systems
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Handling preferences in p2p systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Restoring consistency in p2p deductive databases
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Crafting a balance between big data utility and protection in the semantic data cloud
Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics
Collaborative data sharing via update exchange and provenance
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |
In peer-to-peer data integration, each peer exports data in terms of its own schema, and data interoperation is achieved by means of mappings among the peer schemas. Peers are autonomous systems and mappings are dynamically created and changed. One of the challenges in these systems is answering queries posed to one peer taking into account the mappings. Obviously, query answering strongly depends on the semantics of the overall system. In this paper, we compare the commonly adopted approach of interpreting peer-to-peer systems using a first-order semantics, with an alternative approach based on epistemic logic. We consider several central properties of peer-to-peer systems: modularity, generality, and decidability. We argue that the approach based on epistemic logic is superior with respect to all the above properties. In particular, we show that, in systems in which peers have decidable schemas and conjunctive mappings, but are arbitrarily interconnected, the first-order approach may lead to undecidability of query answering, while the epistemic approach always preserves decidability. This is a fundamental property, since the actual interconnections among peers are not under the control of any actor in the system.