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

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