Efficient Model Construction for Horn Logic with VLog System Description

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 theorie...

Full description

Saved in:
Bibliographic Details
Published inAutomated Reasoning pp. 680 - 688
Main Authors Urbani, Jacopo, Krötzsch, Markus, Jacobs, Ceriel, Dragoste, Irina, Carral, David
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 30.06.2018
SeriesLecture Notes in Computer Science
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:This work was supported by the DFG within the cfaed Cluster of Excellence, CRC 912 (HAEC), and Emmy Noether grant KR 4381/1-1.
ISBN:9783319942049
3319942042
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-94205-6_44