4th International Workshop on the Resurgence of Datalog in Academia and Industry

DATALOG 2.0 2022

September 5, 2022

at Genova - Nervi, Italy

THE WORKSHOP

Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research.

The 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2022) will be held in Genova Nervi, Italy, on September 5, 2022. Datalog 2.0 2022 is hosted by the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022).

The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second edition of the workshop, which was held in Vienna, Austria, in 2012, was open for submissions. The third edition was held in Philadelphia, PA (USA), in 2019, and was also open for submissions.


PROCEEDINGS

Our proceedings are published by CEUR-WS.org and freely available at http://ceur-ws.org/Vol-3203/


PROGRAM

09:00 - 09:15 OPENING

09:15 - 10:30 INVITED SPEAKER

Session Chair: Andreas Pieris

  • Reinhard Pichler. Novel Techniques in Datalog Optimization

10:30 - 11:00 COFFEE BREAK (on site, included in the registration)

11:00 - 12:45 APPLICATIONS AND EXTENSIONS OF DATALOG, SEMANTICS

Session Chair: Mario Alviano

  • Adrian Chmurovic and Mantas Simkus. Well-founded Semantics for Recursive SHACL

  • Amelie Gheerbrant, Leonid Libkin, Alexandra Rogova and Cristina Sirangelo. Certain answers of extensions of conjunctive queries by Datalog and first-order rewriting

  • Marco Calautti, Sergio Greco, Cristian Molinaro and Irina Trubitsyna. Querying Data Exchange Settings Beyond Positive Queries

  • Georg Gottlob, Matthias Lanzinger and Stefano Sferrazza. New Perspectives for Fuzzy Datalog (Extended Abstract)

  • Aaron Bembenek, Michael Greenberg and Stephen Chong. Formulog: Datalog + SMT + FP

  • Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano and Daniele Theseider Dupre. Model checking verification of MultiLayer Perceptrons in Datalog: a many-valued approach with typicality

  • Markus Nissl and Emanuel Sallinger. Towards bridging traditional and smart contracts with Datalog-based languages

12:45 - 14:30 LUNCH (on site, included in the registration)

14:30 - 16:30 EXISTENTIAL RULES, STREAM REASONING

Session Chair: Andreas Pieris

  • Georg Gottlob, Marco Manna and Cinzia Marte. Dyadic Existential Rules

  • Maximilian Marx and Markus Krötzsch. Tuple-Generating Dependencies Capture Complex Values (extended abstract)

  • Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann and Boris Motik. Datalog Rewriting for Guarded TGDs

  • Teodoro Baldazzi, Davide Benedetto, Matteo Brandetti, Adriano Vlad, Luigi Bellomarini and Emanuel Sallinger. Datalog-based Reasoning with Heuristics over Knowledge Graphs

  • Przemysław Andrzej Wałęga, Michał Zawidzki and Bernardo Cuenca Grau. Reasoning techniques in DatalogMTL

  • Matthias Lanzinger and Przemysław Andrzej Wałęga. Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract)

  • Isaac Mackey and Jianwen Su. A Rule-Based Constraint Language for Event Streams

  • Nicola Leone, Marco Manna, Maria Concetta Morelli and Simona Perri. A Formal Comparison between Datalog-based Languages for Stream Reasoning

16:30 - 17:00 COFFEE BREAK (on site, included in the registration)

17:00 - 18:30 SYSTEMS AND BENCHMARKING

Session Chair: Mario Alviano

  • Zhiwei Fan, Sunil Mallireddy and Paraschos Koutris. Towards Better Understanding of the Performance and Design of Datalog Systems

  • Haya Majid Qureshi and Wolfgang Faber. Meta-reasoning over OWL 2 QL using Datalog

  • Carmine Dodaro, Marco Maratea and Francesco Riccio. A tool for encoding controlled natural language specifications as ASP rules

  • Magnus Madsen, Jonathan Starup and Ondřej Lhoták. Flix: A Meta Programming Language for Datalog

  • Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfelde, Lukas Schweizer, Eric Aichinger and Stefano Sferrazza. CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation

  • Lorenzo De Lauretis, Fabio Persia and Stefania Costantini. Intelligent Agents and Complex Event Processing to enhance Patient Monitoring

18:30 - 18:45 CLOSING


TOPICS

Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others):

  • data management

  • data mining

  • knowledge representation and reasoning

  • cloud computing

  • distributed computing

  • logic programming

  • privacy and security

  • probabilistic reasoning

  • program analysis

  • programming languages

  • semantic web

  • social networks

  • streaming

  • verification

  • web services


SUBMISSIONS

Datalog 2.0 2022 welcomes two types of submissions:

  • Long papers of up to 12 pages, presenting original research

  • Short papers of up to 5 pages that may contain either original ongoing research or recently published results

in the following categories:

  • Technical papers

  • System descriptions

  • Application descriptions

The indicated number of pages includes title page and references. For long papers, additional details may be included in an appendix that should be incorporated at submission time (online appendices are not allowed). However, such appendices will be read at the discretion of the program committee.

All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, and formatted according to Springer's guidelines and technical instructions.

Paper submission is enabled via the Datalog 2.0 2022 EasyChair site.

Up to five best regular papers will be invited for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP).


IMPORTANT DATES

  • Paper registration: July 1

  • Paper submission: July 8

  • Notification: August 5

  • Final versions due: August 24


REGISTRATION

The registration to the workshop is handled by LPNMR 2022 (https://sites.google.com/view/lpnmr2022/registration).

Attendees can choose between two fees:

  • Main Conference + Workshops (suggested)

  • Workshops

Note that the registration involves two steps:

  1. Filling the online registration form

  2. Paying the registration fee using the UNIGE Payment System


INVITED SPEAKER

Reinhard Pichler

Novel Techniques in Datalog Optimization

Datalog has been specifically designed for processing recursive queries. As such it seems the perfect fit for today's data analytics applications, which typically require some kind of iteration or recursion. However, basic analytical tasks such as computing shortest paths, betweenness centrality, or connected components in a graph as well as solving optimization problems by gradient descent or other methods crucially depend on aggregation. For Datalog, this poses new challenges due to the loss of the usual monotonicity properties in case of aggregation.

In this talk, I will present recent work in which

  • we have studied a generalization of Datalog that allows for recursive computations over general semirings (with classical Datalog corresponding to the special case of the Boolean semiring),

  • we have analyzed the convergence of this generalization of Datalog, and

  • we have introduced a powerful new optimization technique that covers known optimizations such as magic-set rewriting as well as new ones.

This talk is mainly based on the following papers:

  1. Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang: Convergence of Datalog over (Pre-) Semirings. PODS 2022.

  2. Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu: Optimizing Recursive Queries with Progam Synthesis. SIGMOD Conference 2022.

VENUE

Collegio Emiliani

Via Provana di Leyni, 15

16167 Genova - Nervi (GE)

A beautiful college in the seaport of Genova - Nervi. Below, a picture of the college, the yellow building, and the location on Google Maps. More information (in Italian) at http://www.collegioemiliani.it/.

ORGANIZATION

PROGRAM CHAIRS

Mario Alviano, University of Calabria, Italy

Andreas Pieris, University of Edinburgh, UK & University of Cyprus, Cyprus


PUBLICITY CHAIRS

Jessica Zangari, University of Calabria, Italy


PROGRAM COMMITTEE

Marcelo Arenas, Pontificia Universidad Católica, Chile

Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada

Marco Calautti, University of Trento, Italy

Esra Erdem, Sabanci University, Turkey

Jorge Fandinno, University of Nebraska, USA

Cristina Feier, University of Bremen, Germany

Roman Kontchakov, Birkbeck, University of London, UK

Paraschos Koutris, University of Wisconsin-Madison, USA

Markus Krötzsch, TU Dresden, Germany

Matthias Lanzinger, University of Oxford, UK

Domenico Lembo, Sapienza University of Rome, Italy

Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro", Italy

Yanhong A. Liu, Stony Brook University, USA

Marco Manna, University of Calabria, Italy

Michael Morak, University of Klagenfurt, Austria

Liat Peterfreund, Paris-Est University, France

Torsten Schaub, University of Potsdam, Germany

Mantas Simkus, TU Wien, Austria

Tran Cao Son, New Mexico State University, USA

SPONSORS

CEUR-WS.org

http://ceur-ws.org/

DeMaCS@UNICAL

https://www.mat.unical.it/demacs