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

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

URL	http://logcom.oxfordjournals.org/content/early/2013/12/02/logcom.ext062.abstract
Journal	Journal of Logic and Computation
Publisher	Universitat Politècnica de Catalunya
Volume	24
Number	6
URL	http://logcom.oxfordjournals.org/content/early/2013/12/02/logcom.ext062.abstract
Journal	Journal of Logic and Computation
Publisher	Universitat Politècnica de Catalunya
Volume	24
Number	6

Publication