The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Answering recursive queries using views
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Logic-based techniques in data integration
Logic-based artificial intelligence
Semantic Query Optimization through Abduction and Constraint Handling
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
A Logic-Based System for Application Integration
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Querying Heterogeneous Information Sources Using Source Descriptions
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
CHRv: A Flexible Query Language
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
A Terminological Interpretation of (Abductive) Logic Programming
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
MiniCon: A scalable algorithm for answering queries using views
The VLDB Journal — The International Journal on Very Large Data Bases
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
MedLan: a Logic-based Mediator Language
MedLan: a Logic-based Mediator Language
A logic-based approach to data integration
Theory and Practice of Logic Programming
A Logic-Based System for Application Integration
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
| Hi-index | 0.00 |
Intelligent Information Integration (I3) aims at combining heterogeneous and distributed information sources by explicitly representing and reasoning about their content, giving the user the illusion of interacting with a uniform system. In this paper we show how query planning in such a system can be reduced to a constraint handling problem. Conceptually, our approach relies on a generalized abductive reasoning mechanism involving so called partially open predicates, which support a seamless combination of backward (goal-directed) and forward reasoning. The original aspects of our approach consist in the early detection of (plan) inconsistencies using forward propagation of constraints as well as in the seamless interleaving of query planning and execution. Unlike other specialized query planning algorithms, for which domain reasoning and query planning are only loosely coupled, our encoding of source and domain models into Constraint Handling Rules allows us to fully and efficiently exploit existing domain knowledge. The ability to automatically derive source interactions from domain models (ontologies) enhances the flexibility of modeling.