@inproceedings{7ae12034212241719072b33055a194d2,
title = "MKNF knowledge bases in multi-context systems",
abstract = "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.",
author = "Martin Homola and Matthias Knorr and Jo{\~a}o Leite and Martin Slota",
year = "2012",
month = sep,
day = "6",
doi = "10.1007/978-3-642-32897-8_11",
language = "English",
isbn = "978-3-642-32896-1",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "146--162",
editor = "M. Fisher and {van der Torre}, L. and M. Dastani and G. Governatori",
booktitle = "Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Proceedings",
address = "Germany",
note = "13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII ; Conference date: 27-08-2012 Through 28-08-2012",
}