Hu, P.; Motik, B.; Horrocks, I. Modular Materialisation of Datalog Programs. AAAI 2019, 33, 2859-2866.