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