MKNF Knowledge Bases in Multi-Context Systems

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