Break periods and lunch hours vary by day and are not consistent. Please check the times for each date.

Friday July 17, 2026

Time Event
9:00-9:05 Welcome to DL 2026!
9:05-10:00 Computing Interpolants in Description Logics Invited Speaker: Jean Christoph Jung chaired by Matthias Knorr 📣
10:00-10:30 Coffee break ☕
10:30-11:10 Poster & Demo Announcements paced by Alisa Kovtunova ⏰
  Introducing DeepEL Alessandro Longato 🎙️, Ignacio Huitzil, Rafael Peñaloza Nyssen
  Towards Visual Decision Support in Interactive Repair Christian Alrabbaa 🎙️, Franz Baader, Raimund Dachselt, Pratistha Kansakar 🎙️, Julián Méndez, Afshin Zanganeh
  Optimization and Empirical Evaluation of the CATS ABox Abduction Solver Janka Boborová 🎙️, Jakub Kloc, Martin Homola, Júlia Pukancová
  Visualizing HS-Tree-Based Abductive Reasoning: An Educational Tool for Algorithm Exploration Michaela Tóthová 🎙️, Janka Boborová 🎙️, Júlia Pukancová, Jakub Kloc, Martin Homola
  DeLTA: A Description Logic–Based Annotation Schema for Constructing Expressive OWL DL Axioms from Text Ildar Baimuratov 🎙️
11:20-12:00 DL in Practice chaired by Patrick Koopmann 📣
11:20-11:40 QBF Reasoning for Concept Satisfiability via an Optimised Reduction From K Momen Hassan 🎙️, Uli Sattler
11:40-12:00 ontopEO: VKGs over Earth Observation Data Albulen Pano 🎙️, Davide Lanti, Diego Calvanese, Piero Campalani, Alexander Jacob, Alessandro Mosca
12:00-13:30 Lunch 🍕
13:30-14:50 Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions chaired by Sebastian Rudolph 📣
13:30-13:50 Revisiting Conjunctive Query Entailment for 𝒮 Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini 🎙️, Filip Murlak
13:50-14:10 Baby Steps Towards Finite Satisfiability For LoopPDL Bartosz Jan Bednarczyk, Mikołaj Swoboda 🎙️
14:10-14:30 Subsumption in ℱℒ⊥reg with TBoxes Is in ExpTime Michał Henne 🎙️, Barbara Morawska, Paweł Parys
14:30-14:50 Tree Description Dependencies David Toman 🎙️, Grant Weddell
15:00-15:20 Poster Announcements paced by Alisa Kovtunova ⏰
  Formal Reasoning with Learned Predicates Gianluca Cima 🎙️, Marco Console, Laura Papi 🎙️
  Preferential Temporal Description Logics with Typicality, weighted KBs and preference combination Mario Alviano, Laura Giordano 🎙️, Daniele Theseider Dupré
  OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding Agents Riccardo Sieve 🎙️
  BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization 🏆 Bruno F. Lourenço, Hesham Morgan 🎙️, Ana Ozaki, Aleksandar Pavlović, Emanuel Sallinger
  Modeling Bias in Machine Learning with Description Logics and Epistemic Modalities Mattia Petrolo 🎙️, Ekaterina Kubyshkina
15:20-16:00 Learning chaired by Jean Christoph Jung 📣
15:20-15:40 Reaching for the Stars in ℰℒ Concept Learning Bente Gortworst 🎙️, Cem Okulmus, Magdalena Ortiz, Anni-Yasmin Turhan
15:40-16:00 Finite Characterizations of ℰℒ Ontologies and Concept Inclusions Maurice Funk, Simon Hosemann 🎙️, Carsten Lutz
16:00-16:30 Coffee break ☕
16:30-17:30 Poster & Demo Session
  Formal Reasoning with Learned Predicates Gianluca Cima 🎙️, Marco Console, Laura Papi 🎙️
  DeLTA: Description Logic–based Text Annotation Ildar Baimuratov 🎙️
  Preferential Temporal Description Logics with Typicality, weighted KBs and preference combination Mario Alviano, Laura Giordano, Daniele Theseider Dupré
  Optimization and Empirical Evaluation of the CATS ABox Abduction Solver Janka Boborová 🎙️, Jakub Kloc, Martin Homola, Júlia Pukancová
  OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding Agents Riccardo Sieve 🎙️
  Towards Visual Decision Support in Interactive Repair Christian Alrabbaa 🎙️, Franz Baader, Raimund Dachselt, Pratistha Kansakar 🎙️, Julián Méndez, Afshin Zanganeh
  Modeling Bias in Machine Learning with Description Logics and Epistemic Modalities Mattia Petrolo 🎙️, Ekaterina Kubyshkina
  Visualizing HS-Tree-Based Abductive Reasoning: An Educational Tool for Algorithm Exploration Michaela Tóthová 🎙️, Janka Boborová 🎙️, Júlia Pukancová, Jakub Kloc, Martin Homola
  BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization 🏆 Bruno F. Lourenço, Hesham Morgan 🎙️, Ana Ozaki, Aleksander Pavlovic, Emanuel Sallinger
  Introducing DeepEL Alessandro Longato 🎙️, Ignacio Huitzil, Rafael Peñaloza Nyssen

Saturday July 18, 2026

Time Event
9:00-10:00 Defeasible Reasoning Invited Speaker: Tommie (Thomas) Meyer chaired by Nico Potyka 📣
10:00-10:30 Coffee break ☕
10:30-11:50 Conflicts and Exceptions chaired by Ivan Varzinczak 📣
10:30-10:50 Deontic Defeasible Description Logic Giovanni Casini, Thomas Meyer 🎙️, Rafael Peñaloza Nyssen, Leendert van der Torre
10:50-11:10 Neighbourhood Description Logics for Multiperspective Reasoning Tiziano Dalmonte 🎙️, Andrea Mazzullo, Rafael Peñaloza Nyssen
11:10-11:30 Towards Putting Perspective into OWL Lucía Gómez Álvarez, Sebastian Rudolph 🎙️
11:30-11:50 Using ASP(Q) to Handle Inconsistent Prioritized Data Meghyn Bienvenu, Camille Bourgaux, Robin Jean 🎙️, Giuseppe Mazzotta
12:00-12:40 “To Infinity and Beyond!” chaired by Bartosz Jan Bednarczyk 📣
12:00-12:20 Two-Variable Logic for Hierarchically Partitioned and Ordered Data Oskar Fiuk, Emanuel Kieroński, Vincent Michielini 🎙️
12:20-12:40 Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This Lucas Larroque 🎙️, Quentin Manière
12:40-14:10 Lunch 🥦
14:10-17:00 Special Session featuring Moshe Vardi, Franz Baader and Magdalena Ortiz including a coffee break at 15:30-16:00
19:00-22:00 DL & NMR Joint Dinner in Portugália 🥂

Sunday July 19, 2026

Time Event
9:15-10:10 Explaining Description Logic Reasoning Invited Speaker: Stefan Borgwardt chaired by Barış Sertkaya 📣
10:10-10:40 Coffee break ☕
10:40-12:30 Explanations chaired by Christian Alrabbaa 📣
10:40-11:00 In the Heart of the Beholder: User-Tailored Explanations for Description Logics Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova 🎙️
11:00-11:20 ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication Mayank Jobanputra, Alisa Kovtunova 🎙️, Brisca Balthes, Fedor Grigoryevich Pogulskiy, Yifan Wang, Stefan Borgwardt, Vera Demberg
11:20-11:40 The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics for ℰℒ⊥ Anselm Haak, Patrick Koopmann 🎙️, Yasir Mahmood, Anni-Yasmin Turhan
11:50-12:10 LPX-AbPoint: Abduction and Pinpointing for Explaining Link Predictions on DL Knowledge Graphs Roberto Barile 🎙️, Claudia d’Amato, Nicola Fanizzi
12:10-12:30 Introducing Prism Embeddings: A New Family of Geometric Ontology Embeddings Giuseppe Federico 🎙️, Mena Leemhuis, Oliver Kutz
12:30-14:00 Lunch 🧀
14:00-15:00 Temporal Extensions chaired by Andrea Mazzullo 📣
14:00-14:20 Temporal ℰℒ and Equations over Sets of Integers 🏆 Anton Gnatenko 🎙️, Roman Kontchakov
14:20-14:40 Towards Monitoring of Patients with Bipolar Disorder Kajsa Pedersen 🎙️, Greta Adamo, Roman Kontchakov, Davide Lanti, Andrey Rivkin
14:40-15:00 Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description Logics Stefan Borgwardt 🎙️, Alisa Kovtunova
15:10-16:10 All about DL-Lite chaired by Davide Lanti 📣
15:10-15:30 Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ Rewriting Stefan Borgwardt, Duy Nhu 🎙️
15:30-15:50 A Horn Extension of DL-Lite with NL data complexity Janos Arpasi 🎙️, Bartosz Jan Bednarczyk, Magdalena Ortiz
15:50-16:10 How Hard is it to Decide if a Fact is Relevant to a Query? Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade 🎙️
16:10-16:30 Espresso break ☕
16:30-17:30 Business Meeting