Efficient Model Construction for Horn Logic with VLog: Extended Abstract

Talk by David Carral

Location: APB 3027
Start: 11. October 2018 at 1:00 pm
End: 11. October 2018 at 2:30 pm
Research group: Knowledge-Based Systems
Event series: KBS Seminar
iCal

Abstract: "We extend the Datalog engine VLog to develop a column-oriented implementation of the skolem and the restricted chase – two variants of a sound and complete algorithm used for model construction over theories of existential rules. We conduct an extensive evaluation over several data-intensive theories with millions of facts and thousands of rules, and show that VLog can compete with the state of the art, regarding runtime, scalability, and memory efficiency."

This is a rehearsal talk for the DL Workshop 2018.