Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
Boris Motik‚ Yavor Nenov‚ Robert Piro and Ian Horrocks
Book Title
Proceedings of the Twenty−Fourth International Joint Conference on Artificial Intelligence‚ IJCAI 2015‚ Buenos Aires‚ Argentina‚ July 25−31‚ 2015
Pages
3127–3133
Year
2015