Detailed Program

All times are in the EEST time zone (UTC+3:00).

Saturday, September 2nd, 2023

08:50 – 09:00 Opening Ceremony Carsten Lutz
09:00 – 10:00 Invited Talk          (Chair: Carsten Lutz) Nofar Carmeli
Accessing Answers to Conjunctive Queries with Ideal Time Guarantees
10:05 – 10:30 Semiring Provenance Rafael Peñaloza
Semiring Provenance in Expressive Description Logics
10:30 – 11:00 Cofee Break
11:25 – 12:15 Query Rewritings (Chair: Diego Calvanese) 11:00 – 11:25: Alessandro Artale, Anton Gnatenko, Vladislav Ryzhikov and Michael Zakharyaschev
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries
11:25 – 11:50: Piero Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro and Domenico Fabio Savo
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract)
11:50 – 12:15: Nikola Dragovic, Cem Okulmus and Magdalena Ortiz
Rewriting Ontology-Mediated Navigational Queries into Cypher
12:15 – 14:00 Lunch
14:00 – 15:15 Expressive Power of DLs (Chair: Sebastian Rudolph) 14:00 – 14:25: Sanja Lukumbuzya, Magdalena Ortiz and Mantas Simkus
On the Expressive Power of Ontology-Mediated Queries: Capturing coNP
14:25 – 14:50: Franz Baader and Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains
14:50 – 15:15: Joshua Hirschbrunn and Yevgeny Kazakov
Description Logics Go Second-Order — Extending ℰℒ with Universally Quantified Concepts
15:15 – 16:00 Poster & Demo 1 Mario Alviano, Laura Giordano and Daniele Theseider Dupre
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract)
Jakub Kloc, Martin Homola and Júlia Pukancová
DL Abduction API v2 and GUI Interface
Gabriele Sacco, Loris Bozzato and Oliver Kutz
Defeasible Reasoning with Prototype Descriptions: First Steps
Ying Li and Patrick Lambrix
Repairing ℰℒ⊥ Ontologies using Debugging, Weakening and Completing (Extended abstract)
Axel Mascaro and Christophe Rey
Commonality Subtraction Operator for the ℰℒ Description Logic
Moritz Illich and Birte Glimm
Fully Dynamic Materialization Maintenance
Spyridon Kantarelis, Edmund Dervakos and Giorgos Stamou
The Music Part Ontology
16:00 – 16:30 Coffee Break
16:30 – 17:45 Referring Expressions & Chase (Chair: Laura Giordano) 16:30 – 16:55: Alessandro Artale and Andrea Mazzullo
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract)
16:55 – 17:20: Eva Feng, Alex Borgida, Enrico Franconi, David Toman, Grant Weddell and Peter F. Patel-Schneider
Path Description Dependencies in Feature-Based DLs
17:20 – 17:45: Lukas Gerlach and David Carral
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

Sunday, September 3rd, 2023

09:00 – 10:00 Joint NMR & DL    (Chair: Ana Ozaki) Anni-Yasmin Turhan
Brushing-up description logics to cope with imperfect data
10:05 – 10:30 10:05 – 10:30: Franz Baader
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract)
10:30 – 11:00 Coffee Break
11:00 – 12:15 Joint NMR & DL 11:00 – 11:25: Ricardo Guimarães, Ana Ozaki and Jandson Ribeiro
Eviction and Reception for Description Logic Ontologies (Preliminary Results)
11:25 – 11:50 Carsten Lutz, Quentin Manière and Robin Nolte
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract)
11:50 – 12:15: Jesse Heyninck
Conditional independence for logics with a fixpoint semantics
12:15 – 14:00 Lunch
14:00 – 15:15 Ontology Repair & Module Extraction (Chair: Baris Sertkaya) 14:00 – 14:25: Franz Baader, Francesco Kriegel and Adrian Nuradiansyah
Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract)
14:25 – 14:50: Hui Yang, Patrick Koopmann, Yue Ma and Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies
14:50 – 15:15:
Tobias John and Patrick Koopmann
Towards Ontology-Mediated Planning with OWL DL Ontologies
15:15 – 16:00 Business Meeting
16:00 – 16:30 Coffee Break
16:30 – 17:20 Circumscription in DL-Lite & SHACL      (Chair: Davide Lanti) 16:30 – 16:55: Piero Bonatti, Federica Di Stefano, Magdalena Ortiz and Mantas Simkus
Circumscription in DL-Lite: Progress Report
16:55 – 17:20: Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus, Anouk Oudshoorn
Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)
19:30 Dinner Romios Restaurant. Please travel there on your own by public bus (~25min according to Google Maps).

Monday, September 4th, 2023

09:30 – 10:30 Invited Talk          (Chair: Oliver Kutz) Francesca Toni
Knowledge representation and reasoning in the time of data-centric AI
10:30 – 11:00 Coffee Break
11:00 – 12:15 Explanations and Justifications       (Chair: Jean Jung) 11:00 – 11:25: Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann and Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee
11:25 – 11:50: Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza and Francesco Ricca
ASP-based Axiom Pinpointing for Description Logics
11:50 – 12:15: Stefan Borgwardt, Steffen Breuer and Alisa Kovtunova
Computing ABox Justifications for Query Answers via Datalog Rewriting
12:15 – 14:00 Lunch
14:00 – 15:15 Learning (Chair: Alessandro Artale) 14:00 – 14:25: Balder ten Cate, Maurice Funk, Jean Christoph Jung and Carsten Lutz
SAT-Based PAC Learning of Description Logic Concepts (Extended Abstract)
14:25 – 14:50: Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract)
14:50 – 15:15: Tomáš Bisták, Peter Švec, Ján Kľuka, Alexander Šimko, Štefan Balogh and Martin Homola
Improving DL-Learner on a Malware Detection Use Case
15:15 – 16:00 Poster & Demo 2 Björn Gehrke and Till Mossakowski
Extending OWL2 Manchester Syntax to include missing features from OWL2 Abstract Syntax
Roland Bernard, Oliver Kutz and Nicolas Troquard
Making Axiom Weakening Work in SROIQ
Ricardo Guimarães, Ana Ozaki and Jandson Ribeiro
Eviction and Reception for Description Logic Ontologies (Preliminary Results)
Davide Lanti, Alessandro Mosca, Diego Calvanese and Marco Montali
Direct Mappings under the Lens of Information Capacity (Extended Abstract)
Claudia d’Amato, Francesco Benedetti and Nicola Fanizzi
Efficient Explanation of Predictions on DL Knowledge Graphs through an Enhanced Similarity Search
Ildar Baimuratov, Dmitry Prokudin and Elena Lisanyuk
Dispute Resolutions with OWL DL and Reasoning
Janka Boborová, Iveta Balintová, Júlia Pukancová and Martin Homola
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract)
Fabiola Hodo, Barış Sertkaya and Sai Pranav
Clustering Knowledge Graphs using Concept Lattices (Extended Abstract)
16:00 – 16:30 Coffee Break
16:30 – 17:45 Reasoning with DL Extensions (Chair: Frank Wolter) 16:30 – 16:55: Oliver Fernandez Gil and Pavlos Marantidis
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata
16:55 – 17:20: Bartosz Bednarczyk
Undecidability Results for Non-Regular Extensions of ALCreg with Description-Logics Features