DL 2026
Description Logics 2026

Table of Contents

• Preface
  Summary: There were 38 papers submitted for peer-review to this workshop. Out of these, 35 papers were accepted for this volume, 22 as regular papers and 13 as extended abstracts.

Invited Talks

• Computing Interpolants in Description Logics
  Jean Christoph Jung
• Defeasible Reasoning
  Thomas (Tommie) Meyer
• Explaining Description Logic Reasoning
  Stefan Borgwardt

Full Papers

• OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding Agents
  Riccardo Sieve
• 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
• Tree Description Dependencies
  David Toman, Grant Weddell
• Deontic Defeasible Description Logic
  Giovanni Casini, Thomas Meyer, Rafael Peñaloza, Leendert van der Torre
• Subsumption in ℱℒ⊥reg with TBoxes Is in ExpTime
  Michał Henne, Barbara Morawska, Paweł Parys
• QBF Reasoning for Concept Satisfiability via an Optimised Reduction From K
  Momen Hassan, Uli Sattler
• Neighbourhood Description Logics for Multiperspective Reasoning
  Tiziano Dalmonte, Andrea Mazzullo, Rafael Peñaloza
• Reaching for the Stars in ℰℒ Concept Learning
  Bente Gortworst, Cem Okulmus, Magdalena Ortiz, Anni-Yasmin Turhan
• Towards Visual Decision Support in Interactive Repair
  Christian Alrabbaa, Franz Baader, Raimund Dachselt, Pratistha Kansakar, Julián Méndez, Afshin Zanganeh
• Temporal ℰℒ and Equations over Sets of Integers
  Anton Gnatenko, Roman Kontchakov
• Finite Characterizations of ℰℒ Ontologies and Concept Inclusions
  Maurice Funk, Simon Hosemann, Carsten Lutz
• Modeling Bias in Machine Learning with Description Logics and Epistemic Modalities
  Mattia Petrolo, Ekaterina Kubyshkina
• Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ Rewriting
  Stefan Borgwardt, Duy Nhu
• In the Heart of the Beholder: User-Tailored Explanations for Description Logics
  Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova
• Baby Steps Towards Finite Satisfiability For LoopPDL
  Bartosz Jan Bednarczyk, Mikołaj Swoboda
• Preferential Temporal Description Logics with Typicality, weighted KBs and preference combination
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré
• Introducing Prism Embeddings: A New Family of Geometric Ontology Embeddings
  Giuseppe Federico, Mena Leemhuis, Oliver Kutz
• LPX-AbPoint: Abduction and Pinpointing for Explaining Link Predictions on DL Knowledge Graphs
  Roberto Barile, Claudia d'Amato, Nicola Fanizzi
• A Horn Extension of DL-Lite with NL data complexity
  Janos Arpasi, Bartosz Jan Bednarczyk, Magdalena Ortiz
• The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ℰℒ⊥
  Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
• Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description Logics
  Stefan Borgwardt, Alisa Kovtunova

Extended Abstracts

• Towards Putting Perspective into OWL (Extended Abstract)
  Lucía Gómez Álvarez, Sebastian Rudolph
• Two-Variable Logic for Hierarchically Partitioned and Ordered Data (Extended Abstract)
  Oskar Fiuk, Emanuel Kieroński, Vincent Michielini
• Introducing DeepEL (Extended Abstract)
  Alessandro Longato, Ignacio Huitzil, Rafael Peñaloza
• How Hard is it to Decide if a Fact is Relevant to a Query? (Extended Abstract)
  Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
• Formal Reasoning with Learned Predicates (Extended Abstract)
  Gianluca Cima, Marco Console, Laura Papi
• Using ASP(Q) to Handle Inconsistent Prioritized Data (Extended Abstract)
  Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta
• ontopEO: VKGs over Earth Observation Data (Extended Abstract)
  Albulen Pano, Davide Lanti, Diego Calvanese, Piero Campalani, Alexander Jacob, Alessandro Mosca
• Towards Monitoring of Patients with Bipolar Disorder (Extended Abstract)
  Kajsa Pedersen, Greta Adamo, Roman Kontchakov, Davide Lanti, Andrey Rivkin
• Optimization and Empirical Evaluation of the CATS ABox Abduction Solver (Extended Abstract)
  Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
• ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication (Extended Abstract)
  Mayank Jobanputra, Alisa Kovtunova, Brisca Balthes, Fedor Grigoryevich Pogulskiy, Yifan Wang, Stefan Borgwardt, Vera Demberg
• Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This (Extended Abstract)
  Lucas Larroque, Quentin Manière
• Revisiting Conjunctive Query Entailment for 𝒮 (Extended Abstract)
  Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak
• BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization (Extended Abstract)
  Bruno F. Lourenço, Hesham Morgan, Ana Ozaki, Aleksandar Pavlović, Emanuel Sallinger