DL 2022
Description Logics 2022

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