What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems | UPT Perpustakaan UHAMKA