Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.

Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

Browse the full IJCAI paper archive.