Efficient Model Construction for Horn Logic with VLog

Vortrag von Irina Dragoste

Veranstaltungsort: APB 3027
Beginn: 31. Mai 2018 um 13:00
Ende: 31. Mai 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 work was developed is a collaboration with Jacopo Urbani and Ceriel Jacobs from Vrije Universiteit Amsterdam.

The paper will be presented and published at IJCAR 2018. It is available at https://iccl.inf.tu-dresden.de/web/Article3046/en.