| 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|