Table of Contents

• A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux, Katsumi Inoue, Robin Jean. [doi]
• Real-world Assessment of Policy-Protected OBDA (Extended Abstract)Divya Baura, Diego Calvanese. [doi]
• Query Rewriting for Nested Navigational Queries over Property GraphsBianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz 0001. [doi]
• No Cliques Allowed: The Next Step Towards BDD/FC Conjecture (Extended Abstract)Lucas Larroque, Piotr Ostropolski-Nalewaja, Michaël Thomazo. [doi]
• Tractable Responsibility Measures for Ontology-Mediated Query Answering (Extended Abstract)Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade. [doi]
• The Actual Weight of Lightweight Description LogicsDiego Calvanese. [doi]
• PAC Learning of Concept Inclusions for Ontology- Mediated Query Answering (Extended Abstract)Sergei Obiedkov, Baris Sertkaya. [doi]
• Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable (Extended Abstract)David Carral, Lucas Larroque, Michaël Thomazo. [doi]
• The Shape of EL Proofs: A Tale of Three CalculiChristian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch. [doi]
• Beyond Optimal: Interactive Identification of Better-Than-Optimal Repairs (Extended Abstract)Francesco Kriegel. [doi]
• Containment of Conjunctive LTL QueriesJean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. [doi]
• Towards Conceptual Clustering in EL with Simulation GraphsRuud van Bakel, Michael Cochez, Patrick Koopmann. [doi]
• Abductive Differences of Quantified ABoxesFrancesco Kriegel. [doi]
• SHACL Satisfiability: What Can We Learn from DLs?Anouk Michelle Oudshoorn. [doi]
• Can Full Set-Theoretical Subsumption Semantics in Metamodelled Description Logics Be Captured Within Decidable FOL Fragments?Zekeri Adams, Martin Homola, Ján Kluka. [doi]
• Description Logics with Epsilon IndividualsAnders Søberg, Martin Giese, Egor V. Kostylev. [doi]
• Very Expressive Description Logics with Rich yet Affordable Numeric Constraints (Extended Abstract)Federica Di Stefano 0001, Sanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus. [doi]
• Restricted Chase Termination: You Want More Than Fairness (Extended Abstract)David Carral, Lukas Gerlach 0002, Lucas Larroque, Michaël Thomazo. [doi]
• Testing Description Logic Reasoners (Extended Abstract)Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel. [doi]
• Computation of Interpolants for Description Logic Concepts in Hard CasesJean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter. [doi]
• Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract)Lorenzo Marconi 0002, Flavia Ricci, Riccardo Rosati 0001. [doi]
• FILO: Unification Solver for FL_0 (Extended Abstract)Barbara Morawska 0003, Dariusz Marzec, Slawomir Kost, Michal Henne. [doi]
• ⊥ - Three Related Problems (Extended Abstract)Slawomir Kost, Barbara Morawska 0003. [doi]
• Logic-Based Semantics and Query Entailment for RDFS Knowledge Graphs (Extended Abstract)Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi. [doi]
• Answering Expressive Conjunctive Queries over RDFS Knowledge Bases (Extended Abstract)Gianluca Cima, Marco Console, Roberto Maria Delfino, Maurizio Lenzerini, Antonella Poggi. [doi]
• Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract)Stefan Borgwardt, Duy Nhu, Gabriele Röger. [doi]
• Inconsistency Handling in DatalogMTL (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki. [doi]
• On Knowledge Base EmbeddingsAna Ozaki. [doi]
• Backward/Forward with Marking for Update StreamsMoritz Illich, Birte Glimm. [doi]
• Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Abstract)Bartosz Bednarczyk, Emanuel Kieronski. [doi]
• Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract)Jonas Philipp Haldimann, Magdalena Ortiz 0001, Mantas Simkus. [doi]
• On Homogeneous Models of Fluted Languages (Extended Abstract)Daumantas Kojelis. [doi]
• Why not? Developing ABox Abduction Beyond RepairsAnselm Haak, Patrick Koopmann, Yasir Mahmood 0002, Anni-Yasmin Turhan. [doi]
• On the Way to Diverse Datasets for Evaluating ABox Abduction Algorithms (Extended Abstract)Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová. [doi]
• Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann. [doi]
• CATS Solver: The Rise of Hybrid Abduction AlgorithmsJakub Kloc, Janka Boborová, Martin Homola, Júlia Pukancová. [doi]
• Structural Equality Generating Dependencies and Definite DescriptionsDavid Toman 0001, Grant E. Weddell. [doi]
• Fitting Ontologies and Constraints to Relational Structures (Extended Abstract)Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph. [doi]
• Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract)Federica Di Stefano 0001, Quentin Manière, Magdalena Ortiz 0001, Mantas Simkus. [doi]
• The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)Christian Alrabbaa, Franz Baader, Raimund Dachselt, Alisa Kovtunova, Julián Méndez 0001. [doi]
• Using Trémaux Trees to Compute Small Conjunctive Queries that Separate Positive and Negative ExamplesFrancesco Kriegel. [doi]
• What It's Like to Be a Database Theorist in the Land of MultisetsJerzy Marcinkowski. [doi]
• The ontocomc Ontology: A Semantic Framework for Hindemith's Harmonic SystemThanasis Apostolopoulos, Spyridon Kantarelis, Giorgos Stamou. [doi]
• SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract)Maurice Funk, Jean Christoph Jung, Tom Voellmer. [doi]
• Extending Description Logics with Generic Concepts - the Case of TerminologiesJoshua Hirschbrunn, Yevgeny Kazakov. [doi]
• Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count (Extended Abstract)Franz Baader, Anton Claußnitzer. [doi]
• Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo. [doi]
• Accessing Semistructured Data with KGs and LLMsShikhat Karkee, Elena Botoeva, Sam Coombes, Anna Jordanous, Özgür Kafali, Davide Lanti. [doi]
• Reasoning in OWL 2 EL with Hierarchical Concrete Domains (Extended Abstract)Francesco Kriegel. [doi]
• Reliable Reference for a DL Knowledge Base under Data UpdateEnamul Haque, David Toman 0001, Grant E. Weddell. [doi]
• Fitting Description Logic Ontologies to ABox and Query Examples (Extended Abstract)Maurice Funk, Marvin Grosser, Carsten Lutz. [doi]