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