The mcs-ie System for Explaining Inconsistency in Multi-Context Systems

  • Markus Bögl
  • Thomas Eiter
  • Michael Fink
  • Peter Schüller
Conference paper

DOI: 10.1007/978-3-642-15675-5_31

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6341)
Cite this paper as:
Bögl M., Eiter T., Fink M., Schüller P. (2010) The mcs-ie System for Explaining Inconsistency in Multi-Context Systems. In: Janhunen T., Niemelä I. (eds) Logics in Artificial Intelligence. JELIA 2010. Lecture Notes in Computer Science, vol 6341. Springer, Berlin, Heidelberg

Abstract

The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via nonmonotonic rules. The implementation is based on the dlvhex tool, which is an extension of answer set programming with external atoms and higher order features.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Markus Bögl
    • 1
  • Thomas Eiter
    • 1
  • Michael Fink
    • 1
  • Peter Schüller
    • 1
  1. 1.Institute of Information SystemsVienna University of TechnologyViennaAustria

Personalised recommendations