Data integration and answer set programming

Authors:
Thomas Eiter
Affiliations:
Knowledge Based Systems Group, Institute of Information Systems, Vienna University of Technology, Vienna, Austria
Venue:
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Year:
2005

Citing 31
Cited 5

Magic sets and other strange ways to implement logic programs (extended abstract)

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Disjunctive datalog

ACM Transactions on Database Systems (TODS)
Strongly equivalent logic programs

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Static analysis in datalog extensions

Journal of the ACM (JACM)
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Data integration: a theoretical perspective

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Extending and implementing the stable model semantics

Artificial Intelligence
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries

IEEE Transactions on Knowledge and Data Engineering
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
The Elog Web Extraction Language

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Representing Knowledge in A-Prolog

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
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
A Logical Framework for Querying and Repairing Inconsistent Databases

IEEE Transactions on Knowledge and Data Engineering
Answer sets for consistent query answering in inconsistent databases

Theory and Practice of Logic Programming
On the expressibility of stable logic programming

Theory and Practice of Logic Programming
Computing consistent query answers using conflict hypergraphs

Proceedings of the thirteenth ACM international conference on Information and knowledge management
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
ConQuer: efficient management of inconsistent databases

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
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Semantical characterizations and complexity of equivalences in answer set programming

ACM Transactions on Computational Logic (TOCL)
Integrating information for on demand computing

VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Strong and uniform equivalence in answer-set programming: characterizations and complexity results for the non-ground case

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Coherent integration of databases by abductive logic programming

Journal of Artificial Intelligence Research
Logic programs for consistently querying data integration systems

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Query rewriting and answering under constraints in data integration systems

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Minimal-change integrity maintenance using tuple deletions

Information and Computation
Data integration: a challenging ASP application

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
CMODELS: SAT-based disjunctive answer set solver

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Magic sets and their application to data integration

ICDT'05 Proceedings of the 10th international conference on Database Theory

Distance semantics for database repair

Annals of Mathematics and Artificial Intelligence
From Data Integration towards Knowledge Mediation

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Answer-set programming based dynamic user modeling for recommender systems

EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in 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
Distance-Based repairs of databases

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and incomplete data. Answer Set solvers have been considered as a tool for data integration systems by different authors. We discuss why data integration can be an interesting model application of Answer Set programming, reviewing valuable features of non-monotonic logic programs in this respect, and emphasizing the role of the application for driving research.