Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Volume 6565 of the series Lecture Notes in Computer Science pp 233-258

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

  • Gerhard BrewkaAffiliated withUniversität Leipzig
  • , Thomas EiterAffiliated withInstitut für Informationssysteme, Technische Universität Wien
  • , Michael FinkAffiliated withInstitut für Informationssysteme, Technische Universität Wien

* Final gross prices may vary according to local VAT.

Get Access


In this paper we give an overview on multi-context systems (MCS) with a special focus on their recent nonmonotonic extensions. MCS provide a flexible, principled account of integrating heterogeneous knowledge sources. By a knowledge source we mean a knowledge base formulated in any of the typical knowledge representation languages, including classical logic, description logics, modal or temporal logics, but also nonmonotonic formalisms like logic programs under answer set semantics or default logic. We will motivate the need for such systems, describe what has been achieved in this area, but we also discuss work in progress and introduce generalizations of the existing framework which we consider useful.