Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L. Badea and D. Ţilivea. Query Planning for Intelligent Information Integration using Constraint Handling Rules, 2001. IJCAI-2001 Workshop on Modeling and Solving Problems with Constraints.
BoldSoft. Bold Architecture: Object Constraint Language. http://www.boldsoft.com/products/bold/ocl.html.
D. Cabeza and M. Hermenegildo. WWW Programming using Computational Logic Systems. April 1997. Workshop on Logic Programming and the WWW.
R. G. G. Cattell and D. K. Barry, editors. The Object Database Standard: ODMG 2.0. Morgan Kaufmann, 1997.
A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi. log: A Language for Programming in Logic with Finite Sets. Journal of Logic Programming, 28(1):1–44, 1996.
D. Fensel, I. Horrocks, F. van Harmelen, S. Decker, M. Erdmann, and M. C. A. Klein. OIL in a Nutshell. In Knowledge Acquisition, Modeling and Management, pages 1–16, 2000.
E. Franconi. ICOM A Tool for Intelligent Conceptual Modelling. http://www.cs.man.ac.uk/ franconi/icom/.
Th. Fruehwirth. Theory and Practice of Constraint Handling Rules. In P. Stuckey and K. Marriot, editors, Journal of Logic Programming, volume 37(1–3), pages 95–138, October 1998.
A. Hamie, J. Howse, and S. Kent. Interpreting the Object Constraint Language. In Proceedings 5th Asia Pacific Software Engineering Conference. IEEE Computer Society, December 1998.
I. Horrocks, D. Fensel, J. Broekstra, S. Decker, M. Erdmann, C. Goble, F. van Harmelen, M. Klein, S. Staab, R. Studer, and E. Motta. OIL: The Ontology Inference Layer. Technical Report IR-479, Vrije Universiteit Amsterdam, Faculty of Sciences, September 2000. See http://www.ontoknowledge.org/oil/.
IBROW Project. An Itelligent Brokering Service for Knowledge-Component Reuse on the World Wide Web, 1999. http://kmi.open.ac.uk/projects/ibrow/.
J. Jaffar and S. Michaylov. Methodology and Implementation of a CLP system. In J.L. Lassez, editor, Logic Programming-Proceedings of the 4th International Conference, volume 1. MIT Press, Cambridge, MA, 1987.
E. Mena, A. Illarramendi, V. Kashyap, and A. P. Sheth. Observer: An approach for query processing in global information systems based on interoperation across pre-existing ontologies, 1998.
Microelectronics and Computer Technology Corporation. InfoSleuth: Agent-Based Semantic Integration of Information in Open and Dynamic Environments, 1997.
Object Management Group. The Common Object Request Broker: Architecture and Specification, Revision 2, July 1995.
M. A. Olson, K. Bostic, and M. Seltzer. Berkeley DB. In 1999 USENIX Annual Technical Conference, FREENIX Track, pages 183–192, June 1999.
OMG. Unified Modeling Language Specification, 1999.
On-To-Knowledge Project. Tools for content-driven knowledge management through evolving ontologies, June 2000. http://www.ontoknowledge.org/.
P. Van Roy. A Useful Extension to Prolog’s Definite Clause Grammar Notation. ACM SIGPLAN Notices, 24(11):132–134, November 1989.
SICS. SICStus Prolog Manual, April 2001.
University of Southern California. SIMS Group Home Page. http://www.isi.edu/sims/sims-homepage.html.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benkő, T., Krauth, P., Szeredi, P. (2002). A Logic-Based System for Application Integration. In: Stuckey, P.J. (eds) Logic Programming. ICLP 2002. Lecture Notes in Computer Science, vol 2401. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45619-8_31
Download citation
DOI: https://doi.org/10.1007/3-540-45619-8_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43930-1
Online ISBN: 978-3-540-45619-3
eBook Packages: Springer Book Archive