Efficient Model Construction for Horn Logic with VLog

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Efficient Model Construction for Horn Logic with VLog

Jacopo UrbaniJacopo Urbani,  Markus KrötzschMarkus Krötzsch,  Ceriel JacobsCeriel Jacobs,  Irina DragosteIrina Dragoste,  David CarralDavid Carral
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), LNAI, to appear. Springer
  • KurzfassungAbstract
    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.
  • Bemerkung: Note: Erratum: This version fixes two typos that were present in the publication in Algorithm 1: line 1.5 now also includes a set difference to avoid adding existing facts (necessary since heads can be multi-atom); line 1.8 now uses the correct index (i instead of i+1)
  • Projekt:Project: CfaedDIAMONDHAEC B08
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
The final publication is available at Springer.
@inproceedings{UKJDC2018,
  author    = {Jacopo Urbani and Markus Kr{\"{o}}tzsch and Ceriel Jacobs and
               Irina Dragoste and David Carral},
  title     = {Efficient Model Construction for Horn Logic with {VLog}},
  booktitle = {Proceedings of the 8th International Joint Conference on
               Automated Reasoning (IJCAR 2018)},
  series    = {LNAI},
  publisher = {Springer},
  year      = {2018}
}