Semantisches Browsen
Aus International Center for Computational Logic
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. +
@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}
}
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}
}
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018) +
Urbani +
Jacopo +
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) +
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="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3046|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:2018-ijcar-restricted-chase-implementation.pdf|Download]]jcar-restricted-chase-implementation.pdf|Download]] +
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="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3046|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:2018-ijcar-restricted-chase-implementation.pdf|Download]]jcar-restricted-chase-implementation.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Efficient Model Construction for Horn Logic with VLog +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
29. Oktober 2018, 23:33:05 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Efficient Model Construction for Horn Logic with VLog +, Efficient Model Construction for Horn Logic with VLog +, Efficient Model Construction for Horn Logic with VLog +, Efficient Model Construction for Horn Logic with VLog +, Efficient Model Construction for Horn Logic with VLog +, Efficient Model Construction for Horn Logic with VLog +, Efficient Model Construction for Horn Logic with VLog +, Efficient Model Construction for Horn Logic with VLog + und Efficient Model Construction for Horn Logic with VLog +
