Efficient Model Construction for Horn Logic with VLog
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
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
Originalsprache | Englisch |
---|---|
Titel | Automated Reasoning |
Redakteure/-innen | Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
Herausgeber (Verlag) | Springer, Cham |
Seiten | 680–688 |
ISBN (elektronisch) | 978-3-319-94205-6 |
ISBN (Print) | 978-3-319-94204-9 |
Publikationsstatus | Veröffentlicht - 2018 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Computer Science |
---|---|
Band | 10900 |
ISSN | 0302-9743 |
Externe IDs
Scopus | 85049995516 |
---|