Vol-4302
urn:nbn:de:0074-4302-x
10.83095/ceurws_04302

Copyright © 2026 for the individual papers by the papers' authors. Copyright © 2026 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 2026

Proceedings of the 6th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2026)
co-located with LPNMR 2026

Klagenfurt, Austria, September 7, 2026.

Edited by

Marco Calautti
Matthias Lanzinger

Table of Contents

Preface
PDF
Growing Datalog (Abstract) 1-1
PDF 10.83095/ceurws_04302_001
Wim Martens
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs (Extended Abstract) 2-8
PDF 10.83095/ceurws_04302_002
Alex Ivliev, Markus Krötzsch, Maximilian Marx
Temporal Datalog in Academia and Industry: The Temporal Vadalog System 9-15
PDF 10.83095/ceurws_04302_003
Luigi Bellomarini, Livia Blasi, Eleonora Laurenza, Markus Nissl, Emanuel Sallinger
Cardinality Estimates for Recursively Defined Relations in Datalog 16-20
PDF 10.83095/ceurws_04302_004
Christian Fattebert, Zhekai Jiang, Christoph Koch, Reinhard Pichler, Qichen Wang
Almost Symmetric Linear Arc Monadic Datalog and Transitive Tournaments 21-50
PDF 10.83095/ceurws_04302_005
Sebastian Meyer, Florian Starke
Rule-Based Ontology-Mediated Queries with Negation: An Algorithmic Characterization of First-order Rewritability 51-62
PDF 10.83095/ceurws_04302_006
Andreas Pieris, Aldo Ricioppo
Polynomial combined first-order rewriting for query answering over non-recursive Datalog knowledge bases 63-76
PDF 10.83095/ceurws_04302_007
Nicola Leone, Marco Manna, Aldo Ricioppo, Lucio Pio Savonarola Gentile
Extensional Reasoning with Complete View Definitions and Incomplete Data: a Transformation-based Approach 77-87
PDF 10.83095/ceurws_04302_008
Michael Genesereth, Manav Kant
Towards Datalog on Quantum Annealers: Compiling Recursive Logic Programs with Bottom-up Semantics to 2-local Ising Models 88-100
PDF 10.83095/ceurws_04302_009
Bruno Rucy Carneiro Alves de Lima, Victor Henrique Cabral Pinheiro, Evgenii Dolzhkov, Joseph Haske
Embedding Safe AI Assistants into Web Apps with LLMASP: An Experimental Evaluation 101-114
PDF 10.83095/ceurws_04302_010
Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Luis Angel Rodriguez Reiners
clingowl: a Tool for Ontology Querying in Answer Set Programming 115-128
PDF 10.83095/ceurws_04302_011
Pedro Cabalar, Stefania Costantini, Alina Vozna
Skolem Forms and Equilibrium Semantics for Existential Datalog Rules 129-139
PDF 10.83095/ceurws_04302_012
David Pearce, Agustín Valverde Ramos

2026-10-26: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|