=Paper=
{{Paper
|id=Vol-2368/xpreface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2368/xpreface.pdf
|volume=Vol-2368
}}
==None==
https://ceur-ws.org/Vol-2368/xpreface.pdf
Preface
This volume contains the papers presented at Datalog 2.0 2019: the 3rd Interna-
tional Workshop on the Resurgence of Datalog in Academia and Industry held on
June 4–7, 2019 in Philadelphia. Datalog 2.0 2019 is a major event of the Philadel-
phia Logic Week 2019, which is dedicated to the research on logic, knowledge
representation, and reasoning. Among the other major events of the Philadelphia
Logic Week 2019 there is the 15th International Conference on Logic Program-
ming and Non-monotonic Reasoning (LPNMR 2019), and the two events shares
an invited talk by Michael Gelfond and a couple of sessions. Moreover, the invited
tutorial by Francesco Ricca was open to attendees of LPNMR 2019 Workshops.
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 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.
This edition of the workshop was also open for submissions, and 10 groups
of researchers submitted their articles to the peer review process. Each submis-
sion was reviewed by at least 3 program committee members, and the committee
decided to accept 7 papers, based on their technical merit and potential for stim-
ulating discussions at the workshop. The program also includes 3 invited talks
by Molham Aref, Michael Gelfond and Torsten Schaub, and 1 invited tutorial
by Francesco Ricca.
We thank RelationalAI1 for sponsoring the invited talk by Molham Aref,
and Potassco Solutions2 for sponsoring the invited talk by Michael Gelfond. We
also acknowledge EasyChair3 for providing their conference management system
that significantly simplified the whole process from receiving the submissions to
producing the proceedings. Finally, we thanks all the authors who contributed to
the workshops and the Program Committee members for their effort to produce
timely and wise reviews.
May 28, 2019 Mario Alviano
Andreas Pieris
1
http://relational.ai/
2
https://potassco.com/
3
https://easychair.org/
i
Table of Contents
Relational Artificial Intelligence (Invited Talk) . . . . . . . . . . . . . . . . . . . . . . . . 1
Molham Aref
Logic Programming and Non-monotonic Reasoning from 1991 to 2019:
a Personal Perspective (Joint Invited Talk with LPNMR 2019) . . . . . . . . . 2
Michael Gelfond
Dynamic and Temporal Answer Set Programming on Linear Finite
Traces (Invited Talk) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Pedro Cabalar and Torsten Schaub
An Extension of Datalog for Modelling and Solving Complex
Combinatorial Problems (Invited Tutorial) . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Francesco Ricca
Large-Scale Reasoning on Expressive Horn Ontologies . . . . . . . . . . . . . . . . . 10
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile,
Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano,
Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale,
Francesco Ricca, Pierfrancesco Veltri and Jessica Zangari
Constraint Answer Set Programming without Grounding and its
Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Joaquin Arias, Manuel Carro, Zhuo Chen and Gopal Gupta
Performance Analysis and Comparison of Deductive Systems and SQL
Databases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Stefan Brass and Mario Wenzel
Feature Engineering and Explainability with Vadalog: A Recommender
Systems Application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Jack Clearman, Ruslan Fayzrakhmanov, Georg Gottlob, Yavor Nenov,
Stéphane Reissfelder, Emanuel Sallinger and Evgeny Sherkhonov
Possible Worlds Explorer: Datalog & Answer Set Programming for the
Rest of Us . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Sahil Gupta, Yi-Yun Cheng and Bertram Ludäscher
Differential Datalog . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Leonid Ryzhyk and Mihai Budiu
A Logical Approach to Representing and Reasoning About Interdomain
Routing Policies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Anduo Wang and Zhijia Chen
ii
Organization
Program Committee
General Chair
Nicola Leone University of Calabria
Program Chairs
Mario Alviano University of Calabria
Andreas Pieris University of Edinburgh
Members
Chitta Baral Arizona State University
Pablo Barceló Universidad de Chile
Leopoldo Bertossi RelationalAI Inc. and Carleton University
Meghyn Bienvenu CNRS, University of Bordeaux
Marco Calautti University of Calabria
Andrea Calı̀ University of London, Birkbeck College
Rada Chirkova North Carolina State University
Claire David Universite Paris-Est Marne-la-Vallee
Cristina Feier University of Bremen
Markus Krötzsch TU Dresden
Georg Lausen University of Freiburg
Domenico Lembo Sapienza University of Rome
Yanhong A. Liu Stony Brook University
Carsten Lutz Universität Bremen
Marco Manna University of Calabria
Marie-Laure Mugnier University of Montpellier
Reinhard Pichler Vienna University of Technology
Emanuel Sallinger University of Oxford
Mantas Simkus Vienna University of Technology
Mirek Truszczynski University of Kentucky
Stijn Vansummeren Université Libre de Bruxelles
Local Organization
Chair
Marcello Balduccini Saint Joseph’s University
Publicity Chair
Gregory Gelfond University of Nebraska at Omaha
Marketing Chairs
Elizabeth Angelucci Saint Joseph’s University
Kelsey Neri Saint Joseph’s University
iii