Tuesday, June 18th, 2024
|
| 08:40 – 09:00 |
Opening Ceremony |
|
| 09:00 – 10:00 |
Invited Talk (Chair: Laura Giordano) |
Gabriele Kern-Isberner
Ranking-based Semantics for Defeasible Subsumptions |
| 10:05 – 10:30 |
|
10:05 – 10:30: Erik Snilsberg, Leif Harald Karlsen, Egor V. Kostylev and Martin G. Skjæveland
Foundations of Ontology Template Language OTTR (Extended Abstract) |
| 10:30 – 11:00 |
Coffee Break |
|
| 11:00 – 12:15 |
Learning and Explanation (Chair: Anni-Yasmin Turhan) |
11:00 – 11:25: Balder ten Cate, Raoul Koudijs and Ana Ozaki
Power and Limitations of Examples for Description Logic Concepts (Extended Abstract) |
|
|
11:25 – 11:50: Laura Papi, Gianluca Cima, Marco Console and Maurizio Lenzerini
Semantic Explanations of Classifiers through the Ontology-Based Data Management Paradigm (Extended Abstract) |
|
|
11:50 – 12:15: Francesco Kriegel
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract) |
| 12:15 – 14:00 |
Lunch |
|
| 14:00 – 15:15 |
Non-Monotonic Reasoning and Revision (Chair: Thomas Meyer) |
14:00 – 14:25: Federica Di Stefano and Mantas Šimkus
Stable Model Semantics for Description Logic Terminologies (Extended Abstract) |
|
|
14:25 – 14:50: Federica Di Stefano and Mantas Šimkus
Translating Equilibrium Description Logics into Circumscription |
|
|
14:50 – 15:15: Ana Ozaki and Jandson S. Ribeiro
Eviction and Reception for Description Logic Concepts (Extended Abstract) |
| 15:15 – 15:45 |
Coffee Break |
|
| 15:45 – 18:45 |
Excursion |
Troldhaugen Museum and Piano Concert
We will visit the home of Eduard Grieg and listen to a short piano concert. There will be a bus leaving at 16:00 (sharp!) from the DL Venue and then leaving at 18:15 from Troldhaugen back to the DL Venue. The concert starts at 17:00 (sharp, so please arrive 10 min before). Please arrive 15 min before bus departure. Tickets to the bus, museum, and piano concert are included.
|
Wednesday, June 19th, 2024
|
| 09:00 – 10:00 |
Invited Talk (Chair: Jean Jung) |
Ondřej Kuželka
Model Counting and Sampling in First-Order Logic |
| 10:05 – 10:30 |
|
10:05 – 10:30: Eduard Kamburjan and Dilian Gurov
A Hoare Logic for Domain Specification (Extended Abstract) |
| 10:30 – 11:00 |
Coffee Break |
|
| 11:00 – 12:15 |
Interpolation and Separability (Chair: Roman Kontchakov) |
11:00 – 11:25: Jean Christoph Jung and Jędrzej Kołodziejski
Modal Separability of Fixpoint Formulae |
|
|
11:25 – 11:50: Frank Wolter and Michael Zakharyaschev
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with two Equivalence Relations |
|
|
11:50 – 12:15: Louwe Kuijer, Tony Tan, Frank Wolter and Michael Zakharyaschev
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract) |
| 12:15 – 14:00 |
Lunch |
|
| 14:00 – 15:30 |
Query Answering 1 (Chair: Magdalena Ortiz) |
14:00 – 14:25: Quentin Manière and Marcin Przybyłko
Spectra of Cardinality Queries over Description Logic Knowledge Bases |
|
|
14:25 – 14:50: Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati and Domenico Fabio Savo
Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract) |
|
|
14:50 – 15:30: Poster Session 1
|
| 15:30 – 16:00 |
Coffee Break |
|
| 16:00 – 18:30 |
Hike |
Mount Fløyen We will hike Mount Fløyen. Grab your sandwich and water, take them with you. |
Thursday, June 20th, 2024
|
| 09:00 – 10:00 |
Invited Talk (Chair: Ana Ozaki) |
Camille Bourgaux
Querying Inconsistent Prioritized Data |
| 10:05 – 10:30 |
|
10:05 – 10:30: Stefan Borgwardt, Vera Demberg, Mayank Jobanputra, Alisa Kovtunova, Duy Nhu
Explaining Critical Situations Over Sensor Data Streams using Proofs and Natural Language |
| 10:30 – 11:00 |
Coffee Break |
|
| 11:00 – 12:15 |
Complexity 1 (Chair: David Toman) |
11:00 – 11:25: Bartosz Bednarczyk, Daumantas Kojelis and Ian Pratt-Hartmann
On the Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract) |
|
|
11:25 – 11:50: Stefan Borgwardt, Filippo De Bortoli and Patrick Koopmann
The Precise Complexity of Reasoning in ALC with omega-Admissible Concrete Domains |
|
|
11:50 – 12:15: Oskar Fiuk, Emanuel Kieronski and Vincent Michielini
On the Complexity of Maslov’s Class K (Extended Abstract) |
| 12:15 – 14:00 |
Lunch |
|
| 14:00 – 15:30 |
Typicality and Rough Sets (Chair: Martin Homola) |
14:00 – 14:25: Mario Alviano, Francesco Bartoli, Roberto Esposito, Laura Giordano, Daniele Theseider Dupre and Marco Botta
Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract) |
|
|
14:25 – 14:50: Rafael Peñaloza and Anni-Yasmin Turhan
Rough, Rougher, Roughest — Extending EL with a Hierarchy of Indiscernibility Relations |
|
|
14:50 – 15:30: Poster Session 2
|
| 15:30 – 16:00 |
Coffee Break |
|
| 16:00 – 17:15 |
SHACL and Dependencies (Chair: Guohui Xiao) |
16:00 – 16:25: Anouk Michelle Oudshoorn, Magdalena Ortiz and Mantas Šimkus
Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases |
|
|
16:25 – 16:50: Philipp Seifer, Daniel Hernández, Ralf Lämmel and Steffen Staab
Inferring SHACL Constraints for Results of Composable Graph Queries |
|
|
16:50 – 17:15: Eva Feng, David Toman and Grant Weddell
On Mixed Semantics of Path Description Dependencies in FunDL |
| 18:15 – 22:00 |
Dinner |
Skyskraperen We will have our dinner at the top of Mount Ulriken. Please arrive at Haukelandsbakken 40, 5009 Bergen on your own (walking takes 50 min, public transportation buses take 30 min). We will take the cable car at Haukelandsbakken 40 between 18:15-18:45. Included: tickets to the cable car, dinner, and two drinks. |
Friday, June 21st, 2024
|
| 09:15 – 10:30 |
Complexity 2 (Chair: Bartosz Bednarczyk) |
09:15 – 09:40: Alessandro Artale, Roman Kontchakov, Andrea Mazzullo and Frank Wolter
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract) |
|
|
09:40 – 10:05: Alessandro Artale, Anton Gnatenko, Vladislav Ryzhikov and Michael Zakharyaschev
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract) |
|
|
10:05 – 10:30: Franz Baader and Oliver Fernandez Gi
Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract) |
| 10:30 – 11:00 |
Coffee Break |
|
| 11:00 – 11:50 |
Query Answering 2 (Chair: Oliver Fernández Gil) |
11:00 – 11:25: Luca Andolfi, Gianluca Cima, Marco Console and Maurizio Lenzerini
Informativeness of Query Answers for Knowledge Bases (Extended Abstract) |
|
|
11:25 – 11:50: Bartosz Bednarczyk
Data Complexity in Expressive Description Logics With Path Expressions And Its Applications in Rooted Conjunctive Query Entailment (Extended Abstract) |
| 11:50 – 12:30 |
Lunch |
|
| 12:30 – 13:30 |
Business Meeting |
|