DL 2024
Description Logics 2024

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