DL 2026

Table of Contents

• PDF
  
• Computing Interpolants in Description Logics PDF
  Jean Christoph Jung
• Defeasible Reasoning PDF
  Thomas (Tommie) Meyer
• Explaining Description Logic Reasoning PDF
  Stefan Borgwardt
• OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding Agents PDF
  Riccardo Sieve
• Visualizing HS-Tree-Based Abductive Reasoning: An Educational Tool for Algorithm Exploration PDF
  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 PDF
  Ildar Baimuratov
• Tree Description Dependencies PDF
  David Toman, Grant Weddell
• Deontic Defeasible Description Logic PDF
  Giovanni Casini, Thomas Meyer, Rafael Peñaloza, Leendert van der Torre
• Subsumption in ℱℒ⊥reg with TBoxes Is in ExpTime PDF
  Michał Henne, Barbara Morawska, Paweł Parys
• QBF Reasoning for Concept Satisfiability via an Optimised Reduction From K PDF
  Momen Hassan, Uli Sattler
• Neighbourhood Description Logics for Multiperspective Reasoning PDF
  Tiziano Dalmonte, Andrea Mazzullo, Rafael Peñaloza
• Reaching for the Stars in ℰℒ Concept Learning PDF
  Bente Gortworst, Cem Okulmus, Magdalena Ortiz, Anni-Yasmin Turhan
• Towards Visual Decision Support in Interactive Repair PDF
  Christian Alrabbaa, Franz Baader, Raimund Dachselt, Pratistha Kansakar, Julián Méndez, Afshin Zanganeh
• Temporal ℰℒ and Equations over Sets of Integers PDF
  Anton Gnatenko, Roman Kontchakov
• Finite Characterizations of ℰℒ Ontologies and Concept Inclusions PDF
  Maurice Funk, Simon Hosemann, Carsten Lutz
• Modeling Bias in Machine Learning with Description Logics and Epistemic Modalities PDF
  Mattia Petrolo, Ekaterina Kubyshkina
• Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ Rewriting PDF
  Stefan Borgwardt, Duy Nhu
• In the Heart of the Beholder: User-Tailored Explanations for Description Logics PDF
  Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova
• Baby Steps Towards Finite Satisfiability For LoopPDL PDF
  Bartosz Jan Bednarczyk, Mikołaj Swoboda
• Preferential Temporal Description Logics with Typicality, weighted KBs and preference combination PDF
  Mario Alviano, Laura Giordano, Daniele Theseider Dupré
• Introducing Prism Embeddings: A New Family of Geometric Ontology Embeddings PDF
  Giuseppe Federico, Mena Leemhuis, Oliver Kutz
• LPX-AbPoint: Abduction and Pinpointing for Explaining Link Predictions on DL Knowledge Graphs PDF
  Roberto Barile, Claudia d'Amato, Nicola Fanizzi
• A Horn Extension of DL-Lite with NL data complexity PDF
  Janos Arpasi, Bartosz Jan Bednarczyk, Magdalena Ortiz
• The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ℰℒ⊥ PDF
  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 PDF
  Stefan Borgwardt, Alisa Kovtunova
• Towards Putting Perspective into OWL (Extended Abstract) PDF
  Lucía Gómez Álvarez, Sebastian Rudolph
• Two-Variable Logic for Hierarchically Partitioned and Ordered Data (Extended Abstract) PDF
  Oskar Fiuk, Emanuel Kieroński, Vincent Michielini
• Introducing DeepEL (Extended Abstract) PDF
  Alessandro Longato, Ignacio Huitzil, Rafael Peñaloza
• How Hard is it to Decide if a Fact is Relevant to a Query? (Extended Abstract) PDF
  Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
• Formal Reasoning with Learned Predicates (Extended Abstract) PDF
  Gianluca Cima, Marco Console, Laura Papi
• Using ASP(Q) to Handle Inconsistent Prioritized Data (Extended Abstract) PDF
  Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta
• ontopEO: VKGs over Earth Observation Data (Extended Abstract) PDF
  Albulen Pano, Davide Lanti, Diego Calvanese, Piero Campalani, Alexander Jacob, Alessandro Mosca
• Towards Monitoring of Patients with Bipolar Disorder (Extended Abstract) PDF
  Kajsa Pedersen, Greta Adamo, Roman Kontchakov, Davide Lanti, Andrey Rivkin
• Optimization and Empirical Evaluation of the CATS ABox Abduction Solver (Extended Abstract) PDF
  Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
• ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication (Extended Abstract) PDF
  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) PDF
  Lucas Larroque, Quentin Manière
• Revisiting Conjunctive Query Entailment for 𝒮 (Extended Abstract) PDF
  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) PDF
  Bruno F. Lourenço, Hesham Morgan, Ana Ozaki, Aleksandar Pavlović, Emanuel Sallinger