| Vol-4091 urn:nbn:de:0074-4091-x Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 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).

# DL 2025
Description Logics 2025

### Proceedings of the 38th International Workshop on Description Logics - DL 2025

### Opole, Poland, September 3-6, 2025.

Edited by

### Lidia Tendera 1
Yazmin Ibanez Garcia 2
Patrick Koopmann 3

1 University of Opole, Institute of Computer Science, University of Opole, Oleska 48, 45-052 Opole, Poland
2 Cardiff University, School of Computer Science and Informatics, Senghennydd Road, Cathays, Cardiff CF24 4AG, Wales
3 Vrije Universiteit Amsterdam, Computer Science Department, De Boelelaan 1111, 1081 HV Amsterdam, Netherlands

## Table of Contents

- Preface
  Summary: There were 51 papers submitted for peer-review to this workshop. Out of these, 51 papers were accepted for this volume, 18 as regular papers and 33 as extended abstracts.

### Invited Talks

- On Knowledge Base Embeddings
  Ana Ozaki
- What It’s Like to Be a Database Theorist in the Land of Multisets
  Jerzy Marcinkowski
- The Actual Weight of Lightweight Description Logics
  Diego Calvanese

### Full Papers

- Towards Conceptual Clustering in EL with Simulation Graphs
  Ruud van Bakel, Michael Cochez, Patrick Koopmann
- The ontocomc Ontology: A Semantic Framework for Hindemith’s Harmonic System
  Thanasis Apostolopoulos, Spyridon Kantarelis, Giorgos Stamou
- Backward/Forward with Marking for Update Streams
  Moritz Illich, Birte Glimm
- Computation of Interpolants for Description Logic Concepts in Hard Cases
  Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter
- Extending Description Logics with Generic Concepts – the Case of Terminologies
  Joshua Hirschbrunn, Yevgeny Kazakov
- Why not? Developing ABox Abduction Beyond Repairs
  Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
- Reliable Reference for a DL Knowledge Base under Data Update
  Enamul Haque, David Toman, Grant Weddell
- CATS Solver: The Rise of Hybrid Abduction Algorithms
  Jakub Kloc, Janka Boborová, Martin Homola, Júlia Pukancová
- Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?
  Zekeri Adams, Martin Homola, Ján Kľuka
- Structural Equality Generating Dependencies and Definite Descriptions
  David Toman, Grant Weddell
- Query Rewriting for Nested Navigational Queries over Property Graphs
  Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
- Description Logics with Epsilon Individuals
  Anders Søberg, Martin Giese, Egor V. Kostylev
- The Shape of EL Proofs: A Tale of Three Calculi
  Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch
- Containment of Conjunctive LTL Queries
  Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
- SHACL Satisfiability: What Can We Learn from DLs?
  Anouk Michelle Oudshoorn
- Abductive Differences of Quantified ABoxes
  Francesco Kriegel
- Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples
  Francesco Kriegel
- Accessing Semistructured Data with KGs and LLMs
  Shikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali, Davide Lanti

### Extended Abstracts

- Testing Description Logic Reasoners (Extended Abstract)
  Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
- Real-world Assessment of Policy-Protected OBDA (Extended Abstract)
  Divya Baura, Diego Calvanese
- Inconsistency Handling in DatalogMTL (Extended Abstract)
  Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
- Restricted Chase Termination: You Want More Than Fairness (Extended Abstract)
  David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
- On Homogeneous Models of Fluted Languages (Extended Abstract)
  Daumantas Kojelis
- Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract)
  Bartosz Bednarczyk, Emanuel Kieroński
- SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract)
  Maurice Funk, Jean Christoph Jung, Tom Voellmer
- Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract)
  Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Šimkus
- A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)
  Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean
- Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract)
  Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
- Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract)
  Maurice Funk, Marvin Grosser, Carsten Lutz
- Fitting Ontologies and Constraints to Relational Structures (Extended Abstract)
  Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
- The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
  Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova, Julián Méndez
- Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)
  Stefan Borgwardt, Duy Nhu, Gabriele Röger
- Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)
  Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
- Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract)
  Franz Baader, Anton Claußnitzer
- PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract)
  Sergei Obiedkov, Barış Sertkaya
- On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)
  Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
- Logic-Based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract)
  Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi
- Around Unification in FL⊥ --- Three Related Problems (Extended Abstract)
  Sławomir Kost, Barbara Morawska
- FILO: Unification Solver for FL_0 (Extended Abstract)
  Barbara Morawska, Dariusz Marzec, Sławomir Kost, Michał Henne
- Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)
  Camille Bourgaux, Anton Gnatenko, Michaël Thomazo
- Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract)
  David Carral, Lucas Larroque, Michaël Thomazo
- Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)
  Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus
- Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)
  Lorenzo Marconi, Flavia Ricci, Riccardo Rosati
- Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract)
  Gianluca Cima, Marco Console, Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi
- Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract)
  Jonas Philipp Haldimann, Magdalena Ortiz, Mantas Šimkus
- No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract)
  Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo
- Beyond Optimal: Interactive Identification of Better-Than-Optimal Repairs (Extended Abstract)
  Francesco Kriegel
- Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract)
  Francesco Kriegel

2025-10-23: submitted by Patrick Koopmann, metadata incl. bibliographic data published under Creative Commons CC0
2025-11-12: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|