Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.

Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

Browse the full AAAI paper archive.