Amalgamating Knowledge Bases

V. S. Subrahmanian*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

139 Scopus citations

Abstract

The integration of knowledge for multiple sources is an importantaspect of automated reasoning systems. When different knowledge basesare used to store knowledge provided by multiple sources, we are facedwith the problem of integrating multiple knowledge bases: Under thesecircumstances, we are also confronted with the prospect ofinconsistency. In this paper we present a uniform theoretical framework,based on annotated logics, foramalgamating multiple knowledge bases when these knowledge bases1994 contain inconsistencies, uncertainties, and nonmonotonicmodes of negation. We show that annotated logics may be used, with somemodifications, to mediate betweendifferent knowledge bases. The multiple knowledge bases are amalgamatedby a transformation of the individual knowledge bases into new annotatedlogic programs, together with the addition of a new axiom scheme. Wecharacterize the declarative semantics of such amalgamated knowledgebases and study how the semantics of the amalgam is related to thesemantics of the individual knowledge bases being combined.

Original languageEnglish (US)
Pages (from-to)291-331
Number of pages41
JournalACM Transactions on Database Systems
Volume19
Issue number2
DOIs
StatePublished - Jan 6 1994
Externally publishedYes

Keywords

  • amalgamated knowledge bases
  • annotated logics

ASJC Scopus subject areas

  • Information Systems

Fingerprint

Dive into the research topics of 'Amalgamating Knowledge Bases'. Together they form a unique fingerprint.

Cite this