MCS-IE: Multi-Context Systems Inconsistency Explainer

About MCS-IE

The MCS-IE system is a plugin for dlvhex, which allows to explain reasons for inconsistency in Multi-Context Systems (MCS) as introduced by Brewka and Eiter (2007).

MCS-IE

defines a MCS specification language,
recognizes several command line options,
has a specific output format for explanations of inconsistencies,
includes an external atom for contexts based on DLV, and
supports the user in creating additional dlvhex plugins which contain custom external atoms for contexts.

Links

MCS-IE Online Demo

dlvhex
HEX-Programs

Knowledge Based Systems Group

Research Project:
Inconsistency Management for
Knowledge Integration Systems

Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.