A useful extension to Prolog's definite clause grammar notation
ACM SIGPLAN Notices
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
Distributed and Parallel Databases
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Intelligent Information Integration as a Constraint Handling Problem
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Interpreting the Object Constraint Language
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
Intelligent Information Integration as a Constraint Handling Problem
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Open world reasoning in datalog
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Optimizing queries for heterogeneous information sources
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Translating description logic queries to prolog
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Hi-index | 0.00 |
The paper introduces the SILK tool-set, a tool-set based on constraint logic programming techniques for the support of application integration. We focus on the Integrator component of SILK, which provides tools and techniques to support the process of model evolution: unification of the models of the information sources and their mapping onto the conceptual models of their user-groups.We present the basic architecture of SILK and introduce the SILK Knowledge Base, which stores the meta-information describing the information sources. The SILK Knowledge Base can contain both object-oriented and ontology-based descriptions, annotated with constraints. The constraints can be used both for expressing the properties of the objects and for providing mappings between them. We give a brief introduction to SILan, the language for Knowledge Base presentation and maintenance. We describe the implementation status of SILK and give a simple example, which shows how constraints and constraint reasoning techniques can be used to support model evolution.