| Vol-3739 urn:nbn:de:0074-3739-5 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 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 2024
Description Logics 2024

### Proceedings of the 37th International Workshop on Description Logics (DL 2024)

### Bergen, Norway, June 18-21, 2024.

Edited by

### Laura Giordano *
Jean Christoph Jung **
Ana Ozaki ***

* Università del Piemonte Orientale, DISIT, Alessandria, Italy
** University of Dortmund, Department of Computer Science, Dortmund, Germany
*** University of Oslo, Department of Informatics, Oslo, Norway; University of Bergen, Department of Informatics, Bergen, Norway

## Table of Contents

- Preface
  Summary: There were 40 papers submitted for peer-review to this workshop. Out of these, 36 papers were included in this volume, 11 as regular papers and 25 as extended abstracts.

### Invited Talks

- Querying Inconsistent Prioritized Data (Abstract of Invited Talk)
  Camille Bourgaux
- Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk)
  Gabriele Kern-Isberner
- Model Counting and Sampling in First-Order Logic (Abstract of Invited Talk)
  Ondřej Kuželka

### Full Papers

- The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with 𝜔-Admissible Concrete Domains
  Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
- Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language
  Stefan Borgwardt, Vera Demberg, Mayank Jobanputra, Alisa Kovtunova, Duy Nhu
- Defeasible Justification for KML-Style Logic
  Victoria Chama, Steve Wang, Thomas Meyer, Giovanni Casini
- On Mixed Semantics of Path Description Dependencies in FunDL
  Eva Feng, David Toman, Grant Weddell
- Modal Separability of Fixpoint Formulae
  Jean Christoph Jung, Jędrzej Kołodziejski
- On the Computation of a Productive Partially Ordered Possibilistic Repair
  Ahmed Laouar, Sihem Belabbes, Salem Benferhat
- Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases
  Anouk Oudshoorn, Magdalena Ortiz, Mantas Šimkus
- Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations
  Rafael Peñaloza, Anni-Yasmin Turhan
- Defeasible Reasoning with Prototype Descriptions: A New Preference Order
  Gabriele Sacco, Loris Bozzato, Oliver Kutz
- Translating Equilibrium Description Logics into Circumscription
  Federica Di Stefano, Mantas Šimkus
- Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
  Frank Wolter, Michael Zakharyaschev

### Extended Abstracts

- Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract)
  Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
- Informativeness of Query Answers for Knowledge Bases (Extended Abstract)
  Luca Andolfi, Gianluca Cima, Marco Console, Maurizio Lenzerini
- On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract)
  Alessandro Artale, Anton Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
- An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract)
  Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter
- Unification in ELH𝑅+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)
  Franz Baader, Oliver Fernández Gil
- Data Complexity in Expressive Description Logics With Path Expressions (Extended Abstract)
  Bartosz Bednarczyk
- On the of Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract)
  Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann
- Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract)
  Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
- On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract)
  Balder ten Cate, Raoul Koudijs, Ana Ozaki
- Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract)
  Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
- On the Complexity of Maslov’s Class K (Extended Abstract)
  Oskar Fiuk, Emanuel Kieroński, Vincent Michielini
- Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)
  Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan
- A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract)
  Said Jabbour, Yue Ma, Badran Raddaoui
- Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract)
  Francesco Kriegel
- Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract)
  Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev
- Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract)
  Victor Lacerda, Ana Ozaki, Ricardo Guimarães
- Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract)
  Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
- Actively Learning Ontologies from LLMs: First Results (Extended Abstract)
  Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi
- Spectra of Cardinality Queries over Description Logic Knowledge Bases (Extended Abstract)
  Quentin Manière, Marcin Przybyłko
- Probably Approximately Correct Ontology Completion with pacco (Extended Abstract)
  Sergei Obiedkov, Barış Sertkaya
- Eviction and Reception for Description Logic Concepts (Extended Abstract)
  Ana Ozaki, Jandson S. Ribeiro
- Semantic Explanations of Classifiers through the Ontology-Based Data Management Paradigm (Extended Abstract)
  Laura Papi, Gianluca Cima, Marco Console, Maurizio Lenzerini
- Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract)
  Philipp Seifer, Daniel Hernández, Ralf Lämmel, Steffen Staab
- Foundations of Ontology Template Language OTTR (Extended Abstract)
  Erik Snilsberg, Leif Harald Karlsen, Egor V. Kostylev, Martin G. Skjæveland
- Stable Model Semantics for Description Logic Terminologies (Extended Abstract)
  Federica Di Stefano, Mantas Šimkus

2024-07-29: submitted by Laura Giordano, metadata incl. bibliographic data published under Creative Commons CC0
2024-08-05: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|