DL — PROGRAM
Days: Friday, 17 July 2026 Saturday, 18 July 2026 Sunday, 19 July 2026
Friday, 17 July 2026
09:05-10:00
Invited Speaker: Jean Christoph Jung
DL
Location:
B1.03
| 09:05-10:00 |
Computing Interpolants in Description Logics (abstract) 55 min
1 TU Dortmund University
|
10:00-10:30
Coffee Break
DL
Location:
B1.03
10:30-11:10
Poster & Demo Announcements
DL
Location:
B1.03
| 10:30-10:36 |
Introducing DeepEL (Extended Abstract) (abstract) 6 min
1 University of Milano-Bicocca
2 University of Zaragoza
|
| 10:36-10:42 |
Towards Visual Decision Support in Interactive Repair (abstract) 6 min
1 TU Dresden
|
| 10:42-10:48 |
Optimization and Empirical Evaluation of the CATS ABox Abduction Solver (Extended Abstract) (abstract) 6 min
1 Comenius University Bratislava
2 SOFTEC
|
| 10:48-10:54 |
Visualizing HS-Tree-Based Abductive Reasoning: An Educational Tool for Algorithm Exploration (abstract) 6 min
1 Comenius University Bratislava
2 SOFTEC
|
| 10:54-11:00 |
DeLTA: A Description Logic–based Annotation Schema for Constructing Expressive OWL DL Axioms from Text (abstract) 6 min
1 L3S Research Center, Leibniz University Hannover
|
11:20-12:00
DL in Practice
DL
Session Chair:
Location:
B1.03
| 11:20-11:40 |
QBF Reasoning for Concept Satisfiability via an Optimised Reduction From K (abstract) 20 min
1 University of Manchester
|
| 11:40-12:00 |
ontopEO: VKGs over Earth Observation Data (Extended Abstract) (abstract) 20 min
1 Free University of Bozen-Bolzano
2 Eurac Research
3 ISTC Laboratory for Applied Ontology, National Research Council (CNR
|
12:00-13:30
Lunch
DL
Location:
B1.03
13:30-14:50
Taming the Structure. Transitive Closure, Regular Expressions, Tree Descriptions
DL
Session Chair:
Location:
B1.03
| 13:30-13:50 |
Revisiting Conjunctive Query Entailment for S (Extended Abstract) (abstract) 20 min
1 Cardiff University
2 TU Dortmund University
3 University of Bordeaux
4 University of Warsaw
|
| 13:50-14:10 |
Baby Steps towards Finite Satisfiability for LoopPDL (abstract) 20 min
1 TU Wien & University of Wrocław
2 University of Wrocław
|
| 14:10-14:30 |
Subsumption for FL_⊥reg Is in ExpTime. (abstract) 20 min
1 University of Opole
2 University of Warsaw
|
| 14:30-14:50 |
Tree Description Dependencies (abstract) 20 min
1 University of Waterloo
|
15:00-15:20
Poster Announcements
DL
Location:
B1.03
| 15:00-15:03 |
Formal Reasoning with Learned Predicates (Extended Abstract) (abstract) 3 min
1 Sapienza University of Rome
|
| 15:03-15:06 |
Preferential Temporal Description Logics with Typicality, Weighted KBs and Preference Combination (abstract) 3 min
1 Università della Calabria, Italy
2 DISIT, Università del Piemonte Orientale
|
| 15:06-15:09 |
OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding Agents (abstract) 3 min
1 University of Oslo
|
| 15:09-15:12 |
BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization (Extended Abstract) (abstract) 3 min
1 Institute of Statistical Mathematics
2 TU Wien
3 University of Oslo
4 University of Applied Sciences Campus Vienna
|
| 15:12-15:15 |
Modeling Bias in Machine Learning with Description Logics and Epistemic Modalities (abstract) 3 min
1 University of Lisbon
2 University of Milan
|
15:20-16:00
Learning
DL
Session Chair:
Location:
B1.03
| 15:20-15:40 |
Reaching for the stars in EL concept learning (abstract) 20 min
1 TU Vienna
2 Paderborn University
|
| 15:40-16:00 |
Finite Characterizations of ℰℒ Ontologies and Concept Inclusions (abstract) 20 min
1 Leipzig University
|
16:00-16:30
Coffee Break
DL
Location:
B1.03
16:30-17:30
Poster & Demo Session
DL
Location:
B1.03
Saturday, 18 July 2026
09:00-10:00
Invited Speaker: Tommie Meyer
DL
Session Chair:
Location:
B1.03
| 09:00-10:00 |
Defeasible Reasoning (abstract) 60 min
1 University of Cape Town and CAIR
|
10:00-10:30
Coffee Break
DL
Location:
B1.03
10:30-11:50
Conflicts and Exceptions
DL
Session Chair:
Location:
B1.03
| 10:30-10:50 |
Deontic Defeasible Description Logic (abstract) 20 min
1 ISTI - CNR
2 University of Milano-Bicocca
3 University of Cape Town and CAIR
4 University of Luxembourg
|
| 10:50-11:10 |
Neighbourhood Description Logics for Multiperspective Reasoning (abstract) 20 min
1 Free University of Bozen-Bolzano
2 University of Milano-Bicocca
|
| 11:10-11:30 |
Towards Putting Perspective into OWL (Extended Abstract) (abstract) 20 min
1 Inria
2 TU Dresden
|
| 11:30-11:50 |
Using ASP(Q) to Handle Inconsistent Prioritized Data (Extended Abstract) (abstract) 20 min
1 CNRS & University of Bordeaux
2 CNRS & DI ENS
3 University of Calabria
|
12:00-12:40
“To infinity and beyond!”
DL
Session Chair:
Location:
B1.03
| 12:00-12:20 |
Two-Variable Logic for Hierarchically Partitioned and Ordered Data (Extended Abstract) (abstract) 20 min
1 University of Wroclaw
2 University of Bordeaux
|
| 12:20-12:40 |
Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This (Extended Abstract) (abstract) 20 min
1 École Normale Supérieure - PSL
2 Inria, LIRMM
|
12:40-14:10
Lunch
DL
Location:
B1.03
14:10-17:00
Special Session
DL
Location:
B1.03
15:30-16:00
Coffee Break
DL
Location:
B1.03
Sunday, 19 July 2026
09:15-10:10
Invited Speaker: Stefan Borgwardt
DL
Location:
B1.03
| 09:15-10:10 |
Explaining Description Logic Reasoning (abstract) 55 min
1 TU Dresden
|
10:10-10:40
Coffee Break
DL
Location:
B1.03
10:40-12:30
Explanations
DL
Session Chair:
Location:
B1.03
| 10:40-11:00 |
In the Heart of the Beholder: User-Tailored Explanations for Description Logics (abstract) 20 min
1 TU Dresden
2 Saarland University
|
| 11:00-11:20 |
ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication (Extended Abstract) (abstract) 20 min
1 Saarland University
2 TU Dresden
3 Saarland University & Zuse School ELIZA
|
| 11:20-11:40 |
The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in EL_bot (abstract) 20 min
1 Paderborn University
2 Vrije Universiteit Amsterdam
|
| 11:40-12:00 |
LPX-AbPoint: Abduction and Pinpointing for Explaining Link Predictions on DL Knowledge Graphs (abstract) 20 min
1 Dipartimento di Informatica, Università di Bari
|
| 12:00-12:20 |
Introducing Prism Embeddings: A New Family of Geometric Ontology Embeddings (abstract) 20 min
1 Free university of Bozen-Bolzano -Sony AI, Barcellona
2 Institute for Symbolic AI, Johannes Kepler University, Linz
3 Free university of Bozen-Bolzano
|
12:30-14:00
Lunch
DL
Location:
B1.03
14:00-15:00
Temporal Extensions
DL
Session Chair:
Location:
B1.03
| 14:00-14:20 |
Temporal EL and Equations over Sets of Integers (abstract) 20 min
1 DI ENS, ENS, CNRS, PSL University & Inria, Paris, France
2 Birkbeck, University of London
|
| 14:20-14:40 |
Towards Monitoring of Patients with Bipolar Disorder (Extended Abstract) (abstract) 20 min
1 Free University of Bozen-Bolzano
2 Birkbeck, University of London
3 Technical University of Denmark
|
| 14:40-15:00 |
Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description Logics (abstract) 20 min
1 TU Dresden
|
15:10-16:10
All about DL-Lite
DL
Session Chair:
Location:
B1.03
| 15:10-15:30 |
Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ Rewriting (abstract) 20 min
1 TU Dresden
|
| 15:30-15:50 |
A Horn Extension of DL-Lite with NL data complexity (abstract) 20 min
1 TU Wien
2 TU Wien & University of Wrocław
|
| 15:50-16:10 |
How Hard Is It to Decide if a Fact Is Relevant to a Query? (Extended Abstract) (abstract) 20 min
1 CNRS & University of Bordeaux
|
16:10-16:30
Espresso Break
DL
16:30-17:30
Business Meeting
DL
Location:
B1.03