Logo image
Se connecter
Efficient Model Construction for Horn Logic with VLog System Description
Acte de colloque   Avec comité de lecture

Efficient Model Construction for Horn Logic with VLog System Description

Jacopo Urbani, Markus Kroetzsch, Ceriel Jacobs, Irina Dragoste et David Carral
AUTOMATED REASONING, IJCAR 2018, Vol.10900, pp.680-688
Lecture Notes in Artificial Intelligence
01/01/2018

Résumé

Computer Science Computer Science, Artificial Intelligence Science & Technology Technology
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.

Indicateurs

1 Consultations de la notice

Détails

Logo image