Vol-3203
urn:nbn:de:0074-3203-3

Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

Datalog-2.0 2022
Resurgence of Datalog in Academia and Industry 2022

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022)
co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022)

Genova-Nervi, Italy, September 5, 2022.

Edited by

Mario Alviano *
Andreas Pieris ,*

* University of Calabria, Department of Mathematics and Computer Science, 87036 Rende (CS), Italy
** University of Edinburgh, School of Informatics, Edinburgh, EH8 9AB, UK
*** University of Cyprus, Department of Computer Science, 2109 Nicosia, Cyprus

Table of Contents

Preface
Summary: There were 24 papers submitted for peer-review to this workshop. Out of these, 21 papers were accepted for this volume, 11 as regular papers and 10 as short papers.

Session 1: Invited Talks

Novel Techniques in Datalog Optimization (Abstract) 1
Reinhard Pichler

Session 2: Applications and Extensions of Datalog, Semantics

Well-founded Semantics for Recursive SHACL 2-13
Adrian Chmurovic, Mantas Simkus
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting 14-26
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
Querying Data Exchange Settings Beyond Positive Queries 27-41
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
New Perspectives for Fuzzy Datalog (Extended Abstract) 42-47
Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
Formulog: Datalog + SMT + FP 48-53
Aaron Bembenek, Michael Greenberg, Stephen Chong
Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality 54-67
Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupre
Towards Bridging Traditional and Smart Contracts with Datalog-based Languages 68-82
Markus Nissl, Emanuel Sallinger

Session 3: Existential Rules, Stream Reasoning

Dyadic Existential Rules 83-96
Georg Gottlob, Marco Manna, Cinzia Marte
Tuple-Generating Dependencies Capture Complex Values (Extended Abstract) 97-103
Maximilian Marx, Markus Krötzsch
Datalog Rewriting for Guarded TGDs 104-113
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Datalog-based Reasoning with Heuristics over Knowledge Graphs 114-126
Teodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini, Emanuel Sallinger
Reasoning Techniques in DatalogMTL 127-138
Przemysław Andrzej Wałęga, Michał Zawidzki, Bernardo Cuenca Grau
Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract) 139-144
Matthias Lanzinger, Przemysław Andrzej Wałęga
A Rule-Based Constraint Language for Event Streams 145-150
Isaac Mackey, Jianwen Su
A Formal Comparison between Datalog-based Languages for Stream Reasoning 151-165
Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri

Session 4: Systems and Benchmarking

Towards Better Understanding of the Performance and Design of Datalog Systems 166-180
Zhiwei Fan, Sunil Mallireddy, Paraschos Koutris
Meta-reasoning over OWL 2 QL using Datalog 181-187
Haya Majid Qureshi, Wolfgang Faber
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 188-201
Carmine Dodaro, Marco Maratea, Francesco Riccio
Flix: A Meta Programming Language for Datalog 202-206
Magnus Madsen, Jonathan Starup, Ondřej Lhoták
CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation 207-211
Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfelde, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza
Intelligent Agents and Complex Event Processing to enhance Patient Monitoring 212-218
Lorenzo De Lauretis, Fabio Persia, Stefania Costantini

2022-08-29: submitted by Mario Alviano, metadata incl. bibliographic data published under Creative Commons CC0
2022-08-31: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|