6 citations · 12 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017★ 3 cited
Goal-Driven Query Answering for Existential Rules with Equality
Michael Benedikt, Boris Motik, Efthymia Tsamoura
Inspired by the magic sets for Datalog, we present a novel goal-driven approach for answering queries over terminating existential rules with equality (aka TGDs and EGDs). Our tech…
cs.DB2017★ 2 cited
Optimised Maintenance of Datalog Materialisations
Pan Hu, Boris Motik, Ian Horrocks
To efficiently answer queries, datalog systems often materialise all consequences of a datalog program, so the materialisation must be updated whenever the input facts change. Seve…