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.

[1]  Sibel Adali,et al.  A uniform framework for integrating knowledge in heterogeneous knowledge systems , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[2]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[3]  Vipul Kashyap,et al.  So Far (Schematically) yet So Near (Semantically) , 1992, DS-5.

[4]  Joachim Schü.  Updates and query processing in a mediator architecture , 1996 .

[5]  David Scott Warren,et al.  Query evaluation under the well-founded semantics , 1993, PODS.

[6]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[7]  Jacques Calmet,et al.  An executable graphical representation of mediatory information systems , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[8]  Jacques Calmet,et al.  A generic query-translation framework for a mediator architecture , 1997, Proceedings 13th International Conference on Data Engineering.

[9]  Jeffrey D. Ullman,et al.  MedMaker: a mediation system based on declarative specifications , 1996, Proceedings of the Twelfth International Conference on Data Engineering.