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 PierisReinhard 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 AlvianoAdrian 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 PierisGeorg 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 AlvianoZhiwei 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:
Filling the online registration form
Paying the registration fee using the UNIGE Payment System
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:
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang: Convergence of Datalog over (Pre-) Semirings. PODS 2022.
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
CONTACTS
Email: datalog20-22@easychair.org