What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

Matthias Knorr, Martin Slota, João Leite, Martin Homola. What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. Journal of Logic and Computation, 24(6):1279-1311, 2014. [doi]

Abstract

Abstract is missing.