Goal-Driven Query Answering for Existential Rules with Equality
national conference on artificial intelligence, 2018.
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 technique improves the performance of query answering by pruning the consequences that are not relevant for the query. This is challenging in our setting because eq...More
PPT (Upload PPT)