Modular materialisation of Datalog programs

Pan Hu 0001, Boris Motik, Ian Horrocks 0001. Modular materialisation of Datalog programs. Artificial Intelligence, 308:103726, 2022. [doi]

Abstract

Abstract is missing.