Issue No. 02 - June (1991 vol. 3)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.88001
<p>Combining knowledge present in multiple knowledge base systems into a single knowledge base is discussed. A knowledge based system can be considered an extension of a deductive database in that it permits function symbols as part of the theory. Alternative knowledge bases that deal with the same subject matter are considered. The authors define the concept of combining knowledge present in a set of knowledge bases and present algorithms to maximally combine them so that the combination is consistent with respect to the integrity constraints associated with the knowledge bases. For this, the authors define the concept of maximality and prove that the algorithms presented combine the knowledge bases to generate a maximal theory. The authors also discuss the relationships between combining multiple knowledge bases and the view update problem.</p>
multiple knowledge base systems; single knowledge base; knowledge based system; deductive database; function symbols; integrity constraints; maximality; maximal theory; view update problem; data integrity; database theory; deductive databases; knowledge based systems
S. Kraus, C. Baral and J. Minker, "Combining Multiple Knowledge Bases," in IEEE Transactions on Knowledge & Data Engineering, vol. 3, no. , pp. 208-220, 1991.