Efficient Model Construction for Horn Logic with VLog

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

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.

Details

OriginalspracheEnglisch
TitelAutomated Reasoning
Redakteure/-innenDidier Galmiche, Stephan Schulz, Roberto Sebastiani
Herausgeber (Verlag)Springer, Cham
Seiten680–688
ISBN (elektronisch)978-3-319-94205-6
ISBN (Print)978-3-319-94204-9
PublikationsstatusVeröffentlicht - 2018
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science
Band10900
ISSN0302-9743

Externe IDs

Scopus 85049995516