Abstract is missing.
- DeLTA: A Description Logic-based Annotation Schema for Constructing Expressive OWL DL Axioms from TextIldar Baimuratov. [doi]
- BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization (Extended Abstract)Bruno F. Lourenço, Hesham Morgan, Ana Ozaki, Aleksandar Pavlovic 0002, Emanuel Sallinger. [doi]
- Explaining Description Logic ReasoningStefan Borgwardt. [doi]
- Towards Putting Perspective into OWL (Extended Abstract)Lucía Gómez Álvarez, Sebastian Rudolph. [doi]
- How Hard is it to Decide if a Fact is Relevant to a Query? (Extended Abstract)Meghyn Bienvenu, Diego Figueira, Pierre Lafourcade. [doi]
- Formal Reasoning with Learned Predicates (Extended Abstract)Gianluca Cima, Marco Console, Laura Papi. [doi]
- ontopEO: VKGs over Earth Observation Data (Extended Abstract)Albulen Pano, Davide Lanti, Diego Calvanese, Piero Campalani, Alexander Jacob, Alessandro Mosca 0001. [doi]
- Towards Monitoring of Patients with Bipolar Disorder (Extended Abstract)Kajsa Pedersen, Greta Adamo, Roman Kontchakov, Davide Lanti, Andrey Rivkin. [doi]
- Introducing Prism Embeddings: A New Family of Geometric Ontology EmbeddingsGiuseppe Federico, Mena Leemhuis, Oliver Kutz. [doi]
- Revisiting Conjunctive Query Entailment for 풮 (Extended Abstract)Yazmín Ibáñez García, Jean Christoph Jung, Vincent Michielini, Filip Murlak. [doi]
- Deontic Defeasible Description LogicGiovanni Casini, Thomas Meyer 0002, Rafael Peñaloza, Leendert van der Torre. [doi]
- Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ RewritingStefan Borgwardt, Duy Nhu. [doi]
- Visualizing HS-Tree-Based Abductive Reasoning: An Educational Tool for Algorithm ExplorationMichaela Tóthová, Janka Boborová, Júlia Pukancová, Jakub Kloc, Martin Homola. [doi]
- OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding AgentsRiccardo Sieve. [doi]
- Using ASP(Q) to Handle Inconsistent Prioritized Data (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta. [doi]
- LPX-AbPoint: Abduction and Pinpointing for Explaining Link Predictions on DL Knowledge GraphsRoberto Barile, Claudia d'Amato, Nicola Fanizzi. [doi]
- ⊥reg with TBoxes Is in ExpTimeMichal Henne, Barbara Morawska 0001, Pawel Parys. [doi]
- In the Heart of the Beholder: User-Tailored Explanations for Description LogicsStefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova. [doi]
- Two-Variable Logic for Hierarchically Partitioned and Ordered Data (Extended Abstract)Oskar Fiuk, Emanuel Kieronski, Vincent Michielini. [doi]
- Introducing DeepEL (Extended Abstract)Alessandro Longato, Ignacio Huitzil, Rafael Peñaloza. [doi]
- The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ℰℒ⊥Anselm Haak, Patrick Koopmann, Yasir Mahmood 0002, Anni-Yasmin Turhan. [doi]
- QBF Reasoning for Concept Satisfiability via an Optimised Reduction From KMomen Hassan, Uli Sattler. [doi]
- Temporal ℰℒ and Equations over Sets of IntegersAnton R. Gnatenko, Roman Kontchakov. [doi]
- Finite Characterizations of ℰℒ Ontologies and Concept InclusionsMaurice Funk, Simon Hosemann, Carsten Lutz. [doi]
- Baby Steps Towards Finite Satisfiability For LoopPDLBartosz Jan Bednarczyk, Mikolaj Swoboda. [doi]
- Towards Visual Decision Support in Interactive RepairChristian Alrabbaa, Franz Baader, Raimund Dachselt, Pratistha Kansakar, Julián Méndez 0001, Afshin Zanganeh. [doi]
- Computing Interpolants in Description LogicsJean Christoph Jung. [doi]
- Will My Favorite Chases Terminate if Evaluating Conjunctive Queries Does? One Does Not Simply Decide This (Extended Abstract)Lucas Larroque, Quentin Manière. [doi]
- Neighbourhood Description Logics for Multiperspective ReasoningTiziano Dalmonte, Andrea Mazzullo, Rafael Peñaloza. [doi]
- Modeling Bias in Machine Learning with Description Logics and Epistemic ModalitiesMattia Petrolo, Ekaterina Kubyshkina. [doi]
- Preferential Temporal Description Logics with Typicality, weighted KBs and preference combinationMario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. [doi]
- ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication (Extended Abstract)Mayank Jobanputra, Alisa Kovtunova, Brisca Balthes, Fedor Grigoryevich Pogulskiy, Yifan Wang 0019, Stefan Borgwardt, Vera Demberg. [doi]
- Tree Description DependenciesDavid Toman 0001, Grant E. Weddell. [doi]
- Optimization and Empirical Evaluation of the CATS ABox Abduction Solver (Extended Abstract)Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová. [doi]
- Defeasible ReasoningThomas Meyer 0002. [doi]
- A Horn Extension of DL-Lite with NL data complexityJanos Arpasi, Bartosz Jan Bednarczyk, Magdalena Ortiz 0001. [doi]
- Reaching for the Stars in ℰℒ Concept LearningBente Gortworst, Cem Okulmus, Magdalena Ortiz 0001, Anni-Yasmin Turhan. [doi]
- Finding New Boxes for the Diamonds: On the Behavior of Convex Modal Operators for Temporal Description LogicsStefan Borgwardt, Alisa Kovtunova. [doi]