Efficient Model Construction for Horn Logic with VLog: Extended Abstract

Vortrag von David Carral

Veranstaltungsort: APB 3027
Beginn: 11. Oktober 2018 um 13:00
Ende: 11. Oktober 2018 um 14:30
Forschungsgruppe: Wissensbasierte Systeme
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.