Poster Session 1
- Ruud van Bakel, Michael Cochez and Patrick Koopmann. Towards Conceptual Clustering in EL with Simulation Graphs
- Sergei Obiedkov and Barış Sertkaya. PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract)
- Francesco Kriegel. Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples
- Divya Baura and Diego Calvanese. Real-world Assessment of Policy-Protected OBDA (Extended Abstract)
- Stefan Borgwardt, Duy Nhu and Gabriele Röger. Automated Planning with Ontologies under Coherence Update Semantics (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) - Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova and Julián Méndez. The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)
- 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
Poster Session 2
- Enamul Haque, David Toman and Grant Weddell. Reliable Reference for a DL Knowledge Base under Data Update
- 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?
- Michal Sochański, Przemysław Andrzej Wałęga and Michal Zawidzki. Two Types of Definite Descriptions: Theory and Implementation
- Anders Søberg, Martin Giese and Egor V. Kostylev. Description Logics with Epsilon Individuals
- Tobias John, Einar Broch Johnsen, Eduard Kamburjan and Dominic Steinhöfel. Testing Description Logic Reasoners (Extended Abstract)
- Thanasis Apostolopoulos, Spyridon Kantarelis and Giorgos Stamou. The ontocomc ontology: A Semantic Framework for Hindemith’s Harmonic System
- 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)
- Shikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali and Davide Lanti. Accessing Semistructured Data with KGs and LLMs
- Jonas Philipp Haldimann, Magdalena Ortiz and Mantas Šimkus. Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract)