Abstract
We present the Infomaster system, an information integration tool developed and tested at Stanford University. The Infomaster system bridges differences in schemata and terminology between existing databases. This makes it possible to provide a uniform user interface to a collection of heterogeneous information sources. Information sources are described in an expressive language, the so-called knowledge interchange format (KIF). The crucial phase in the query planning process of the Infomaster system is based on a specialized model elimination theorem prover.
Publication details
Cite this paper
@inproceedings{duschka1997infomaster,
author = {Oliver M. Duschka and Michael R. Genesereth},
title = {Infomaster - An Information Integration Tool},
booktitle = {Proceedings of the International Workshop on Intelligent Information Integration, KI-97},
year = {1997}
}