Titlebook: Computational Logic in Multi-Agent Systems; 13th International W Michael Fisher,Leon Torre,Guido Governatori Conference proceedings 2012 Sp

GRUEL

MKNF Knowledge Bases in Multi-Context Systems,e 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