What if no hybrid reasoner is available? hybrid MKNF in multi-context systems. (2014)

by M Knorr, M Slota, J Leite, M Homola
Venue:J. Log. Comput.