MKNF Knowledge Bases in Multi-Context Systems [chapter]

Martin Homola, Matthias Knorr, João Leite, Martin Slota
2012 Lecture Notes in Computer Science  
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
more » ... er, 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
doi:10.1007/978-3-642-32897-8_11 fatcat:mmu7inqpobdidhf2wzdp72lesa