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 |
||