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

### Proceedings of the 35th International Workshop on Description Logics (DL 2022)
co-located with Federated Logic Conference (FLoC 2022)

### Haifa, Israel, August 7th to 10th, 2022.

Edited by

### Ofer Arieli *
Martin Homola **
Jean Christoph Jung ***
Marie-Laure Mugnier ****

* The Academic College of Tel-Aviv, Israel
** Comenius University in Bratislava, Slovakia
*** University of Hildesheim, Germany
**** University of Montpellier (LIRMM / INRIA), France

## Table of Contents

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

### Invited Talks

- Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract)
  Thomas Eiter
- Rectifying Classifiers (Joint DL+NMR Invited Talk Abstract)
  Pierre Marquis
- Charting the Borderland – Decidability in Description Logics and Beyond (DL Invited Talk Abstract)
  Sebastian Rudolph
- Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract)
  Renate A. Schmidt

### Full Papers

- A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals
  Bernardo Alkmim, Edward Haeusler, Cláudia Nalon
- On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne
  Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič
- Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies
  Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
- Advanced Languages of Terms for Ontologies
  Philippe Balbiani, Martin Diéguez, Çigdem Gencer
- Comonadic Semantics for Description Logics Games
  Bartosz Bednarczyk, Mateusz Urbańczyk
- Accessing Document Data Sources using Referring Expression Types
  Alexander Borgida, Enrico Franconi, David Toman, Grant Weddell
- Pointwise Circumscription in Description Logics
  Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
- AGM Revision in Description Logics Under Fixed-Domain Semantics
  Faiq Miftakhul Falakh, Sebastian Rudolph
- Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies
  Maurice Funk, Jean Christoph Jung, Carsten Lutz
- SAT-Based Axiom Pinpointing Revisited
  Birte Glimm, Yevgeny Kazakov
- Concept Abduction for Description Logics
  Birte Glimm, Yevgeny Kazakov, Michael Welt
- An API for DL Abduction Solvers
  Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová
- Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results
  Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová
- Computing Concept Referring Expressions with Standard OWL Reasoners
  Moritz Illich, Birte Glimm
- More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions
  Jean Christoph Jung, Andrea Mazzullo, Frank Wolter
- Uniform and Modular Sequent Systems for Description Logics
  Tim Lyon, Jonas Karge
- Fine-Grained Forgetting for the Description Logic ALC
  Mostafa Sakr, Renate A. Schmidt
- Next Steps for ReAD: Modules for Classification Optimisation
  Haoruo Zhao, Bijan Parsia, Uli Sattler

### Extended Abstracts

- Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)
  Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarriess
- Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
  Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
- Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)
  Meghyn Bienvenu, Camille Bourgaux
- Complexity Landscape for Counting Queries (Extended Abstract)
  Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
- Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
  Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
- Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)
  Loris Bozzato, Thomas Eiter, Rafael Kiesel
- Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract)
  Ludovic Brieulle, Chan Le Duc, Pascal Vaillant
- Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract)
  Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
- Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract)
  Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
- Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract)
  Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
- Ontology-based Data Federation (Extended Abstract)
  Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese
- Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)
  Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
- Evaluating the Interpretability of Tooth Expressions (Extended Abstract)
  Guendalina Righetti, Daniele Porello, Roberto Confalonieri
- A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)
  Satyadharma Tirtarasa, Anni-Yasmin Turhan
- Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract)
  Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese

2022-10-25: submitted by Martin Homola, metadata incl. bibliographic data published under Creative Commons CC0
2022-11-03: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|