Days: Wednesday, September 3rd Thursday, September 4th Friday, September 5th Saturday, September 6th
View this program: with abstractssession overviewtalk overview
Invited Talk
| 09:00 | On Knowledge Base Embeddings (abstract) |
| 10:00 | Fitting Ontologies and Constraints to Relational Structures (Extended Abstract) (abstract) |
Sergei Obiedkov and Barış Sertkaya
PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract) (abstract)
Ruud van Bakel, Michael Cochez and Patrick Koopmann
Towards Conceptual Clustering in EL with Simulation Graphs (abstract)
Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples (abstract)
| 11:00 | SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract) (abstract) |
| 11:20 | Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract) (abstract) |
| 11:40 | Computation of Interpolants for Description Logic Concepts in Hard Cases (abstract) |
| 12:00 | Beyond Optimal: Interactive Identification of Better-than-optimal Repairs (Extended Abstract) (abstract) |
Divya Baura and Diego Calvanese
Real-world Assessment of Policy-Protected OBDA (Extended Abstract) (abstract)
Backward/Forward with Marking for Update Streams (abstract)
Lorenzo Marconi, Flavia Ricci and Riccardo Rosati
Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract) (abstract)
| 14:00 | Abductive Differences of Quantified ABoxes (abstract) |
| 14:20 | The Shape of ℰℒ Proofs: A Tale of Three Calculi (abstract) |
| 14:40 | Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract) (abstract) |
| 15:00 | Can You Tell the Difference? Contrastive Explanations for ABox Entailments (Extended Abstract) (abstract) |
Janka Boborová, Jakub Kloc, Martin Homola and Júlia Pukancová
On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract) (abstract)
Jakub Kloc, Janka Boborová, Martin Homola and Júlia Pukancová
CATS Solver: The Rise of Hybrid Abduction Algorithms (abstract)
Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova and Julián Méndez
The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract) (abstract)
View this program: with abstractssession overviewtalk overview
| 09:00 | Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract) (abstract) |
| 09:20 | Why not? Developing ABox Abduction beyond Repairs (abstract) |
| 09:40 | Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics (Extended Abstract) (abstract) |
| 10:00 | A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract) (abstract) |
Jonas Philipp Haldimann, Magdalena Ortiz and Mantas Šimkus
Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract) (abstract)
Stefan Borgwardt, Duy Nhu and Gabriele Röger
Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract) (abstract)
Anders Søberg, Martin Giese and Egor V. Kostylev
Description Logics with Epsilon Individuals (abstract)
| 11:00 | Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract) (abstract) |
| 11:20 | Logic-based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract) (abstract) |
| 11:40 | Query Rewriting for Nested Navigational Queries over Property Graphs (abstract) |
| 12:00 | SHACL Satisfiability: What Can We Learn from DLs? (abstract) |
Shikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali and Davide Lanti
Accessing Semistructured Data with KGs and LLMs (abstract)
Thanasis Apostolopoulos, Spyridon Kantarelis and Giorgos Stamou
The ontocomc ontology: A Semantic Framework for Hindemith’s Harmonic System (abstract)
PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract) (abstract) |
Towards Conceptual Clustering in EL with Simulation Graphs (abstract) |
Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative Examples (abstract) |
Real-world Assessment of Policy-Protected OBDA (Extended Abstract) (abstract) |
Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract) (abstract) |
On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract) (abstract) |
CATS Solver: The Rise of Hybrid Abduction Algorithms (abstract) |
The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract) (abstract) |
Backward/Forward with Marking for Update Streams (abstract) |
Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract) (abstract) |
Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract) (abstract) |
View this program: with abstractssession overviewtalk overview
Invited Talk
| 09:00 | What It's Like to Be a Database Theorist in the Land of Multisets (abstract) |
| 10:00 | No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract) (abstract) |
Enamul Haque, David Toman and Grant Weddell
Reliable Reference for a DL Knowledge Base under Data Update (abstract)
Michal Sochański, Przemysław Andrzej Wałęga and Michal Zawidzki
Two Types of Definite Descriptions: Theory and Implementation (abstract)
Tobias John, Einar Broch Johnsen, Eduard Kamburjan and Dominic Steinhöfel
Testing Description Logic Reasoners (Extended Abstract) (abstract)
| 11:00 | Restricted Chase Termination: You Want More than Fairness (Extended Abstract) (abstract) |
| 11:20 | Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract) (abstract) |
| 11:40 | On Homogeneous Models of Fluted Languages (Extended Abstract) (abstract) |
| 12:00 | Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract) (abstract) |
Sławomir Kost and Barbara Morawska
Around unification in FL\_bottom -- three related problems (abstract)
Barbara Morawska, Dariusz Marzec, Sławomir Kost and Michał Henne
FILO: unification solver for FL_0 (Extended Abstract) (abstract)
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? (abstract)
Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments? (abstract) |
FILO: unification solver for FL_0 (Extended Abstract) (abstract) |
Around unification in FL\_bottom -- three related problems (abstract) |
Testing Description Logic Reasoners (Extended Abstract) (abstract) |
The ontocomc ontology: A Semantic Framework for Hindemith’s Harmonic System (abstract) |
Reliable Reference for a DL Knowledge Base under Data Update (abstract) |
Two Types of Definite Descriptions: Theory and Implementation (abstract) |
Description Logics with Epsilon Individuals (abstract) |
Accessing Semistructured Data with KGs and LLMs (abstract) |
| 16:00 | Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract) (abstract) |
| 16:20 | Complexity of containment for conjunctive LTL queries (abstract) |
| 16:40 | Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract) (abstract) |
| 17:00 | Inconsistency Handling in DatalogMTL (Extended Abstract) (abstract) |
View this program: with abstractssession overviewtalk overview
Invited Talk
| 09:00 | TBA |
| 10:00 | Structural Equality Generating Dependencies and Definite Descriptions (abstract) |
Advances in the Spirit of Franz Baader’s Description Logics
| 11:00 | Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract) (abstract) |
| 11:20 | Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract) (abstract) |
| 11:40 | Extending Description Logics with Generic Concepts – the Case of Terminologies (abstract) |
| 12:00 | Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract) (abstract) |