Schedule


 Wed 3 Thu 4 Fri 5 Sat 6
08:40 Opening Ceremony


09:00 Session 1
Learning Knowledge Representations		 Session 4
Beyond Classical Reasoning		 Session 6
New Perspectives on Query
Containment and Controllability		 Session 9
Franz Baader Day: EL Relatives
10:30 Coffee Break
11:00 Session 2
Learning and Repair		 Session 5
Reasoning and Querying over
Knowledge Graphs and Ontologies		 Session 7
Rules, Guards, and Expressive
Fragments		 Session 10
From Concrete Domains to Richer
Ontology Modeling
12:30 Lunch Break
14:00 Session 3
Explanations and Abduction		 Poster Session 1 Poster Session 2 Business Meeting
15:30 Coffee Break
16:00 Excursion + Dinner Excursion Session 8
Temporal and Probabilistic Reasoning

Detailed Program

All times are in the CEST time zone (UTC+2:00).

Wednesday, September 3rd, 2025
08:00 – 8:40 Registration
08:40 – 09:00 Opening Ceremony
09:00 – 10:30 Learning Knowledge Representations chair: Jean Christoph Jung

Invited Talk 9:00 Ana Ozaki On Knowledge Base Embeddings


10:00 Maurice Funk, Marvin Grosser and Carsten Lutz Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract)
10:20 – 10:30 Poster Announcements Sergei Obiedkov and Barış Sertkaya
PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract)
Ruud van Bakel, Michael Cochez and Patrick Koopmann
Towards Conceptual Clustering in EL with Simulation Graphs
Francesco Kriegel
Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples
10:30 – 11:00 Coffee Break
11:00 – 12:20 Learning and Repair chair: Sebastian Rudolph


11:00 Simon Hosemann, Jean Christoph Jung, Carsten Lutz and Sebastian Rudolph Fitting Ontologies and Constraints to Relational Structures (Extended Abstract)


11:20 Maurice Funk, Jean Christoph Jung and Tom Voellmer SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract)


11:40 Jean Christoph Jung, Jedrzej Kolodziejski and Frank Wolter Computation of Interpolants for Description Logic Concepts in Hard Cases


12:00 Francesco Kriegel Beyond Optimal: Interactive Identification of Better-than-optimal Repairs (Extended Abstract)
12:20 – 12:30 Poster Announcements Divya Baura and Diego Calvanese
Real-world Assessment of Policy-Protected OBDA (Extended Abstract)
Moritz Illich and Birte Glimm
Backward/Forward with Marking for Update Streams
Lorenzo Marconi, Flavia Ricci and Riccardo Rosati
Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)
12:30 – 14:00 Lunch Break Szara Willa restaurant Oleska 11 st., 45-052 Opole , PL
14:00 – 15:30
 Explanations and Abduction
 chair: Baris Sertkaya


14:00 Francesco Kriegel Abductive Differences of Quantified ABoxes


14:20 Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann and Markus Krötzsch The Shape of ℰℒ Proofs: A Tale of Three Calculi


14:40 Meghyn Bienvenu, Diego Figueira and Pierre Lafourcade Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract)


15:00 Patrick Koopmann, Yasir Mahmood and Axel-Cyrille Ngonga Ngomo Can You Tell the Difference? Contrastive Explanations for ABox Entailments (Extended Abstract)
15:20 – 15:30 Poster Announcements Janka Boborová, Jakub Kloc, Martin Homola and Júlia Pukancová
On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)
Jakub Kloc, Janka Boborová, Martin Homola and Júlia Pukancová
CATS Solver: The Rise of Hybrid Abduction Algorithms
Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova and Julián Méndez
The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
15:30 – 16:00 Coffee Break
16:00 – 18:45 Excursion Moszna Castle Tour and Dinner with Violin Performance We will visit the fairytale-like Moszna Castle near Opole, known for its 99 towers and 365 rooms. The trip includes a guided tour of the castle and park, followed by a dinner in the castle restaurant accompanied by live violin music.
– A bus will depart at 16:15 (sharp!) from the DL Venue and return from Moszna Castle at 22:00.
– The dinner and violin performance begin at 19:00, so please arrive 10 minutes before.
– Please be at the bus stop 15 minutes before departure.
– Tickets for the bus, castle tour, dinner, and concert are all included.

Thursday, September 4th, 2025
09:00 – 10:20 Beyond Classical Reasoning chair: Stefan Borgwardt


09:00 Federica Di Stefano, Quentin Manière, Magdalena Ortiz and Mantas Šimkus Minimal Model Reasoning in Description Logics: Don’t Try This at Home! (Extended Abstract)


09:20 Anselm Haak, Patrick Koopmann, Yasir Mahmood and Anni-Yasmin Turhan Why not? Developing ABox Abduction beyond Repairs


09:40 Meghyn Bienvenu and Quentin Manière Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics (Extended Abstract)


10:00 Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue and Robin Jean A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)
10:20 – 10:30 Poster Announcements Stefan Borgwardt, Duy Nhu and Gabriele Röger
Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)
Anders Søberg, Martin Giese and Egor V. Kostylev
Description Logics with Epsilon Individuals
10:30 – 11:00 Coffee Break
11:00 – 12:20 Reasoning and Querying over Knowledge Graphs and Ontologies chair: Elena Botoeva


11:00 Gianluca Cima, Marco Console, Roberto Maria Delfino, Maurizio Lenzerini and Antonella Poggi Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract)


11:20 Roberto Maria Delfino, Maurizio Lenzerini and Antonella Poggi Logic-based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract)


11:40 Bianca Löhnert, Nikolaus Augsten, Cem Okulmus and Magdalena Ortiz
Query Rewriting for Nested Navigational Queries over Property Graphs


12:00 Anouk Michelle Oudshoorn SHACL Satisfiability: What Can We Learn from DLs?
12:20 – 12:30 Poster Announcements Shikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali and Davide Lanti
Accessing Semistructured Data with KGs and LLMs
Thanasis Apostolopoulos, Spyridon Kantarelis and Giorgos Stamou
The ontocomc Ontology: A Semantic Framework for Hindemith’s Harmonic System
12:30 – 14:00 Lunch Break Szara Willa restaurant Oleska 11 st., 45-052 Opole , PL
14:00 – 15:30 Poster Session 1
15:30 – 16:00 Coffee Break
17:15 – 20:00 Hike

Opole Walking Tour with Local Guide
Discover the most remarkable sites of Opole during a 3-hour guided tour, highlighting the city’s most charming and distinctive landmarks.
– Gathering at 17:15
– Meeting point: University of Opole Address: plac Kopernika 11, 46-020 Opole
– Comfortable walking shoes recommended

Friday, September 5th, 2025
09:00 – 10:20 New Perspectives on Query Containment and Controllability chair: Bartosz Bednarczyk

Invited Talk
 09:00 Jerzy Marcinkowski What It’s Like to Be a Database Theorist in the Land of Multisets


10:00 Lucas Larroque, Piotr Ostropolski-Nalewaja and Michaël Thomazo No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract)
10:20 – 10:32 Poster Announcements Enamul Haque, David Toman and Grant Weddell
Reliable Reference for a DL Knowledge Base under Data Update
Michal Sochański, Przemysław Andrzej Wałęga and Michal Zawidzki
Two Types of Definite Descriptions: Theory and Implementation
Tobias John, Einar Broch Johnsen, Eduard Kamburjan and Dominic Steinhöfel
Testing Description Logic Reasoners (Extended Abstract)
Jonas Philipp Haldimann, Magdalena Ortiz and Mantas Šimkus
Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract)
10:32 – 11:00 Coffee Break
11:00 – 12:20 Rules, Guards, and Expressive Fragments chair: Meghyn Bienvenu


11:00 David Carral, Lukas Gerlach, Lucas Larroque and Michaël Thomazo Restricted Chase Termination: You Want More than Fairness (Extended Abstract)


11:20 David Carral, Lucas Larroque and Michaël Thomazo Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract)


11:40 Daumantas Kojelis On Homogeneous Models of Fluted Languages (Extended Abstract)


12:00 Bartosz Bednarczyk and Emanuel Kieroński Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract)
12:20 -12:30 Poster Announcements Sławomir Kost and Barbara Morawska
Around unification in FL\_bottom — three related problems
Barbara Morawska, Dariusz Marzec, Sławomir Kost and Michał Henne
FILO: unification solver for FL_0 (Extended Abstract)
Zekeri Adams, Martin Homola and Ján Kl’Uka
Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?
12:30 – 14:00 Lunch Break Szara Willa restaurant Oleska 11 st., 45-052 Opole , PL
14:00 – 15:30 Poster Session 2
15:30 – 16:00 Coffee Break
16:00 – 17:30 Temporal and Probabilistic Reasoning chair: Alisa Kovtunova


16:00 Camille Bourgaux, Anton Gnatenko and Michaël Thomazo Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)


16:20 Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev Complexity of containment for conjunctive LTL queries


16:40 Franz Baader and Anton Claußnitzer Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract)


17:00 Meghyn Bienvenu, Camille Bourgaux and Atefe Khodadaditaghanaki Inconsistency Handling in DatalogMTL (Extended Abstract)
20:30 – 22:00 Visit to the observatory 20:30 We warmly invite all astronomy enthusiasts to join us at the astronomical observatory at 20:30 (8:30 PM) for a special stargazing session.
Through the telescope, you’ll have the chance to observe the Moon in stunning detail and catch a glimpse of Saturn, complete with its iconic rings. It’s a rare opportunity to experience the wonders of the night sky.
Location: Student Dormitory “Niechcic” 87b Katowicka Street, 12th Floor, Opole

Saturday, September 6th, 2025
09:00 – 10:30 Franz Baader Day: EL Relatives 09:00 Diego Calvanese TBA


10:00 David Toman and Grant Weddell Structural Equality Generating Dependencies and Definite Descriptions
10:30 – 11:00 Coffee Break
11:00 – 12:30 From Concrete Domains to Richer Ontology Modeling 11:00 Franz Baader, Stefan Borgwardt, Filippo De Bortoli and Patrick Koopmann Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)


11:20 Francesco Kriegel Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract)


11:40 Joshua Hirschbrunn and Yevgeny Kazakov Extending Description Logics with Generic Concepts – the Case of Terminologies


12:00 Federica Di Stefano, Sanja Lukumbuzya, Magdalena Ortiz and Mantas Šimkus Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)
12:30 – 14:00 Light Lunch
14:00 Business Meeting