Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm
Boris Motik‚ Yavor Nenov‚ Robert Edgar Felix Piro and Ian Horrocks
Book Title
Proceedings of the Twenty−Ninth AAAI Conference on Artificial Intelligence‚ January 25−30‚ 2015‚ Austin‚ Texas‚ USA.
Pages
1560–1568
Year
2015