Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Article3046
Abstract We extend the Datalog engine VLog to devel
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.
ntime, scalability, and memory efficiency.  +
Author Jacopo Urbani + , Markus Krötzsch + , Ceriel Jacobs + , Irina Dragoste + , David Carral +
BibTex
@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}},
  editor    = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  booktitle = {Proceedings of the 8th International Joint Conference on
               Automated Reasoning (IJCAR 2018)},
  series    = {LNCS},
  volume    = {10900},
  publisher = {Springer},
  year      = {2018},
  pages     = {680--688},
  doi       = {10.1007/978-3-319-94205-6_44}
}
Bibtype Inproceedings  +
Booktitle Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018)  +
DOI Name 10.1007/978-3-319-94205-6_44  +
Download 2018-ijcar-restricted-chase-implementation.pdf  +
Editor Didier Galmiche, Stephan Schulz, Roberto Sebastiani  +
ErsterAutorNachname Urbani  +
ErsterAutorVorname Jacopo  +
Forschungsgebiet Existenzielle Regeln + , Semantische Technologien + , Wissensrepräsentation und logisches Schließen +
Forschungsgruppe Wissensbasierte Systeme +
Note Erratum: This version fixes two typos that
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)
uses the correct index (i instead of i+1)  +
Pages 680--688  +
Projekt Cfaed + , Cfaed, DIAMOND, HAEC B08 + , DIAMOND + , HAEC B08 +
Publication text Jacopo Urbani, Markus Krötzsch, Ceriel Jac
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral<br/> '''[[Article3046|<b>Efficient Model Construction for Horn Logic with VLog</b>]]''' <br/>__NOTOC__In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., <i>Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018)</i>, volume 10900 of LNCS, 680--688, 2018. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article3046|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:2018-ijcar-restricted-chase-implementation.pdf|Download]]
ricted-chase-implementation.pdf|Download]]  +
Publication text en Jacopo Urbani, Markus Krötzsch, Ceriel Jac
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral<br/> '''[[Article3046/en|<b>Efficient Model Construction for Horn Logic with VLog</b>]]''' <br/>__NOTOC__In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., <i>Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018)</i>, volume 10900 of LNCS, 680--688, 2018. Springer<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article3046|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:2018-ijcar-restricted-chase-implementation.pdf|Download]]
ricted-chase-implementation.pdf|Download]]  +
Publisher Springer  +
Referiert 1  +
Series LNCS  +
Slides Dl-2018-presentation-vlog.pdf  +
Title Efficient Model Construction for Horn Logic with VLog  +
To appear 0  +
Type inproceedings  +
Volume 10900  +
Year 2018  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Article3046 + , Article3046 + , Article3046 + , Article3046 + , Article3046 + , Article3046 + , Article3046 + , Article3046 + , Article3046 +
Kategorien Publikation , Inproceedings
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
29 Oktober 2018 23:33:05  +
verstecke Attribute die hierhin verlinken 
Article3046/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.