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