Logic programs for consistently querying data integration systems

Authors:
Loreto Bravo;Leopoldo Bertossi
Affiliations:
Pontificia Universidad Catolica de Chile, Departamento de Ciencia de Computation, Santiago, Chile;Carleton University, School of Computer Science, Ottawa, Canada
Venue:
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Year:
2003

Citing 14
Cited 54

Splitting a logic program

Proceedings of the eleventh international conference on Logic programming
Complexity of answering queries using materialized views

PODS '98 Proceedings of the seventeenth 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
Query rewriting using views in the presence of functional and inclusion dependencies

Information Systems
Declarative problem-solving in DLV

Logic-based artificial intelligence
Semantics and expressive power of nondeterministic constructs in deductive databases

Journal of Computer and System Sciences
Data integration: a theoretical perspective

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Consistent Answers from Integrated Data Sources

FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases

Proceedings of the 17th International Conference on Logic Programming
Data Integration under Integrity Constraints

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Query planning and optimization in information integration

Query planning and optimization in information integration
A logic-based approach to data integration

Theory and Practice of Logic Programming
Characterizing and computing semantically correct answers from databases with annotated logic and answer sets

Proceedings of the 2nd international conference on Semantics in databases

Tackling inconsistencies in data integration through source preferences

Proceedings of the 2004 international workshop on Information quality in information systems
Computing consistent query answers using conflict hypergraphs

Proceedings of the thirteenth ACM international conference on Information and knowledge management
Consistent query answering under inclusion dependencies

CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
A cost-based model and effective heuristic for repairing constraints by value modification

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
The INFOMIX system for advanced integration of incomplete and inconsistent data

Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Minimal-change integrity maintenance using tuple deletions

Information and Computation
Database repairing using updates

ACM Transactions on Database Systems (TODS)
On the complexity of computing peer agreements for consistent query answering in peer-to-peer data integration systems

Proceedings of the 14th ACM international conference on Information and knowledge management
Consistent query answering under key and exclusion dependencies: algorithms and experiments

Proceedings of the 14th ACM international conference on Information and knowledge management
An intensional approach to the specification of test cases for database applications

Proceedings of the 28th international conference on Software engineering
Consistent query answering in databases

ACM SIGMOD Record
A knowledge-based approach to merging information

Knowledge-Based Systems
Magic Sets and their application to data integration

Journal of Computer and System Sciences
First-order query rewriting for inconsistent databases

Journal of Computer and System Sciences
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
An argumentation framework for merging conflicting knowledge bases

International Journal of Approximate Reasoning
Consistent data for inconsistent XML document

Information and Software Technology
Solving abduction by computing joint explanations

Annals of Mathematics and Artificial Intelligence
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
A paraconsistent logic programming approach for querying inconsistent databases

International Journal of Approximate Reasoning
Conditional functional dependencies for capturing data inconsistencies

ACM Transactions on Database Systems (TODS)
Repair localization for query answering from inconsistent databases

ACM Transactions on Database Systems (TODS)
Inconsistency tolerance in P2P data integration: An epistemic logic approach

Information Systems
Distance-based paraconsistent logics

International Journal of Approximate Reasoning
Merging element fuzzy cognitive maps

Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Manifold Answer-Set Programs for Meta-reasoning

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An ASP-Based Data Integration System

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems

Globe '09 Proceedings of the 2nd International Conference on Data Management in Grid and Peer-to-Peer Systems
DL-Lite: tractable description logics for ontologies

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Magic sets for data integration

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Coherent integration of databases by abductive logic programming

Journal of Artificial Intelligence Research
Minimal-change integrity maintenance using tuple deletions

Information and Computation
Computing repairs for inconsistent XML document using chase

APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Annotation based query answer over inconsistent database

Journal of Computer Science and Technology
A sound and complete model-generation procedure for consistent and confidentiality-preserving databases

Theoretical Computer Science
Manifold answer-set programs and their applications

Logic programming, knowledge representation, and nonmonotonic reasoning
Detecting and repairing anomalous evolutions in noisy environments

Annals of Mathematics and Artificial Intelligence
Consistency and provenance in rule processing

RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Data integration and answer set programming

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
An ID-logic formalization of the composition of autonomous databases

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Data integration: a challenging ASP application

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Consistent query answering: five easy pieces

ICDT'07 Proceedings of the 11th international conference on Database Theory
Inconsistency tolerance in P2P data integration: an epistemic logic approach

DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Repairing inconsistent XML documents

KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Magic sets and their application to data integration

ICDT'05 Proceedings of the 10th international conference on Database Theory
First-order query rewriting for inconsistent databases

ICDT'05 Proceedings of the 10th international conference on Database Theory
Consistent query answers in virtual data integration systems

Inconsistency Tolerance
On the computational complexity of minimal-change integrity maintenance in relational databases

Inconsistency Tolerance
Solving abduction by computing joint explanations: logic programming formalization, applications to P2P data integration, and complexity results

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Query answering in peer-to-peer data exchange systems

EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
On the first-order reducibility of unions of conjunctive queries over inconsistent databases

EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Magic Sets for disjunctive Datalog programs

Artificial Intelligence
Repairing inconsistent dimensions in data warehouses

Data & Knowledge Engineering
Answer set programming: language, applications and development tools

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We solve the problem of obtaining answers to queries posed to a mediated integration system under the local-as-view paradigm that are consistent wrt to certain global integrity constraints. For this, the query program is combined with logic programming specifications under the stable model semantics of the class of minimal global instances, and of the class of their repairs.