MKNF knowledge bases in multi-context systems

Martin Homola, Matthias Knorr, João Leite, Martin Slota

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Citations (Scopus)


In this paper we investigate the relationship between Multi-Context Systems and Hybrid MKNF Knowledge Bases. Multi-Context Systems provide an effective and modular way to integrate knowledge from different heterogeneous sources (contexts) through so-called bridge rules. Hybrid MKNF Knowledge Bases, based on the logic of minimal knowledge and negation as failure (MKNF), allow for a seamless combination of description logic ontology languages with non-monotonic logic programming rules. In this paper, we not only show that Hybrid MKNF Knowledge Bases can be used as particular contexts in Multi-Context Systems, but we also provide transformations from the former into the latter, without the need for an explicit Hybrid MKNF context, hence providing a way for agents to reason with Hybrid MKNF Knowledge Bases within Multi-Context Systems without the need for specialized Hybrid MKNF reasoners.

Original languageEnglish
Title of host publicationComputational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Proceedings
EditorsM. Fisher, L. van der Torre, M. Dastani, G. Governatori
Place of PublicationBerlin, Heidelberg
Number of pages17
ISBN (Electronic)978-3-642-32897-8
ISBN (Print)978-3-642-32896-1
Publication statusPublished - 6 Sep 2012
Event13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII - Montpellier, France
Duration: 27 Aug 201228 Aug 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7486 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII


Dive into the research topics of 'MKNF knowledge bases in multi-context systems'. Together they form a unique fingerprint.

Cite this