DL 2025

Table of Contents

• PDF
  
• On Knowledge Base Embeddings PDF
  Ana Ozaki
• What It’s Like to Be a Database Theorist in the Land of Multisets PDF
  Jerzy Marcinkowski
• The Actual Weight of Lightweight Description Logics PDF
  Diego Calvanese
• Towards Conceptual Clustering in EL with Simulation Graphs PDF
  Ruud van Bakel, Michael Cochez, Patrick Koopmann
• The ontocomc Ontology: A Semantic Framework for Hindemith’s Harmonic System PDF
  Thanasis Apostolopoulos, Spyridon Kantarelis, Giorgos Stamou
• Backward/Forward with Marking for Update Streams PDF
  Moritz Illich, Birte Glimm
• Computation of Interpolants for Description Logic Concepts in Hard Cases PDF
  Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter
• Extending Description Logics with Generic Concepts – the Case of Terminologies PDF
  Joshua Hirschbrunn, Yevgeny Kazakov
• Why not? Developing ABox Abduction Beyond Repairs PDF
  Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
• Reliable Reference for a DL Knowledge Base under Data Update PDF
  Enamul Haque, David Toman, Grant Weddell
• CATS Solver: The Rise of Hybrid Abduction Algorithms PDF
  Jakub Kloc, Janka Boborová, Martin Homola, Júlia Pukancová
• Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments? PDF
  Zekeri Adams, Martin Homola, Ján Kľuka
• Structural Equality Generating Dependencies and Definite Descriptions PDF
  David Toman, Grant Weddell
• Query Rewriting for Nested Navigational Queries over Property Graphs PDF
  Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz
• Description Logics with Epsilon Individuals PDF
  Anders Søberg, Martin Giese, Egor V. Kostylev
• The Shape of EL Proofs: A Tale of Three Calculi PDF
  Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch
• Containment of Conjunctive LTL Queries PDF
  Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
• SHACL Satisfiability: What Can We Learn from DLs? PDF
  Anouk Michelle Oudshoorn
• Abductive Differences of Quantified ABoxes PDF
  Francesco Kriegel
• Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples PDF
  Francesco Kriegel
• Accessing Semistructured Data with KGs and LLMs PDF
  Shikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali, Davide Lanti
• Testing Description Logic Reasoners (Extended Abstract) PDF
  Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
• Real-world Assessment of Policy-Protected OBDA (Extended Abstract) PDF
  Divya Baura, Diego Calvanese
• Inconsistency Handling in DatalogMTL (Extended Abstract) PDF
  Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki
• Restricted Chase Termination: You Want More Than Fairness (Extended Abstract) PDF
  David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
• On Homogeneous Models of Fluted Languages (Extended Abstract) PDF
  Daumantas Kojelis
• Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract) PDF
  Bartosz Bednarczyk, Emanuel Kieroński
• SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract) PDF
  Maurice Funk, Jean Christoph Jung, Tom Voellmer
• Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract) PDF
  Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Šimkus
• A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract) PDF
  Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean
• Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract) PDF
  Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade
• Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract) PDF
  Maurice Funk, Marvin Grosser, Carsten Lutz
• Fitting Ontologies and Constraints to Relational Structures (Extended Abstract) PDF
  Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
• The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract) PDF
  Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova, Julián Méndez
• Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract) PDF
  Stefan Borgwardt, Duy Nhu, Gabriele Röger
• Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract) PDF
  Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
• Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract) PDF
  Franz Baader, Anton Claußnitzer
• PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract) PDF
  Sergei Obiedkov, Barış Sertkaya
• On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract) PDF
  Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
• Logic-Based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract) PDF
  Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi
• Around Unification in FL⊥ --- Three Related Problems (Extended Abstract) PDF
  Sławomir Kost, Barbara Morawska
• FILO: Unification Solver for FL_0 (Extended Abstract) PDF
  Barbara Morawska, Dariusz Marzec, Sławomir Kost, Michał Henne
• Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract) PDF
  Camille Bourgaux, Anton Gnatenko, Michaël Thomazo
• Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract) PDF
  David Carral, Lucas Larroque, Michaël Thomazo
• Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract) PDF
  Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus
• Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract) PDF
  Lorenzo Marconi, Flavia Ricci, Riccardo Rosati
• Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract) PDF
  Gianluca Cima, Marco Console, Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi
• Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract) PDF
  Jonas Philipp Haldimann, Magdalena Ortiz, Mantas Šimkus
• No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract) PDF
  Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo
• Beyond Optimal: Interactive Identification of Better-Than-Optimal Repairs (Extended Abstract) PDF
  Francesco Kriegel
• Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract) PDF
  Francesco Kriegel