KOMET — A system for the integration of heterogeneous information sources
We present KOMET, an architecture for the intelligent integration of heterogeneous information sources. It is based on the idea of a mediator, which is an independent software layer between an application and various knowledge sources which need to be accessed. We present an especially suitable logic-based language for encoding typical mediation tasks like conditional preference strategies, schema integration or data inconsistency resolution. Using annotated logic, KOMET is able to perform various common types of reasoning, such as probabilistic, fuzzy, paraconsistent and certain types of temporal and spatial reasoning. In combination with an extensible type system and the embedding of external knowledge sources as constraint domains, our mediation language offers a rich framework, which not only facilitates access to structured information, but as well supports unstructured and semi-structured information. A number of examples show the practical application of our approach.
KeywordsIntelligent Information Systems Knowledge Integration Mediator
Unable to display preview. Download preview PDF.
- [AE95]S. Adab and R. Emery. A uniform framework for integrating knowledge in heterogenous knowledge systems. In Proc. 11th IEEE International Conference on Data Engineering, pages 513–521, Taipei, Taiwan, March 1995.Google Scholar
- [CDJS96]J. Calmet, D. Debertin, S. Jekutsch, and J. Schü. An executable graphical representation of mediatory information systems. In Proc. 12th IEEE International Conference on Data Engineering, pages 124–131, New Orleans, March 1996.Google Scholar
- [CJS97]J. Calmet, S. Jekutsch, and J. Schü. A generic query-translation framework for a mediator architecture. In Proc. 13th International Conference on Data Engineering, Birmingham, U.K., pages 434–443, April 1997.Google Scholar
- [CW93]W. Chen and D. S. Warren. Query evaluation under the well-founded semantics. In Proceedings of the 12th Annual ACM Symposium on Principles of Database Systems, pages 168–179. ACM, ACM Press, 1993.Google Scholar
- [KS92]M. Kifer and V. S.Subrahmanian. Theory of generalized annotated logic programming. Journal of Logic Programming, 12(1):335–367, 1992.Google Scholar
- [PGMU96]Y. Papakonstantinou, H. Garcia-Molina, and J. Ullman.Medmaker: A mediation system based on declarative specifications. In Proc. 12th International Conference on Data Engineering, pages 132–141. IEEE Computer Society, February 1996.Google Scholar
- [Sch95]J. Schü. Updates and Query-Processing in a Mediator Architecture. PhD thesis, Universität Karlsruhe, 1995.Google Scholar
- [SK93]A. Sheth and V. Kashyap. So far (schematically) yet so near (semantically). In D. K. Hsiao, E. J. Neuhold, and R. Sacks-Davis, editors, Interoperable Database Systems, pages 283–312. IFIP, Elsevier Science Pubslihers, 1993.Google Scholar
- [Wie92]G. Wiederhold.Mediators in the architecture of future information systems. IEEE Computer, 25(3):38–49, March 1992.Google Scholar