Abstract is missing.
- ℛ+ without the Top Concept modulo Cycle-Restricted Ontologies (Extended Abstract)Franz Baader, Oliver Fernández Gil. [doi]
- Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract)Gianluca Cima, Domenico Lembo, Lorenzo Marconi 0002, Riccardo Rosati 0001, Domenico Fabio Savo. [doi]
- Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge BasesAnouk Oudshoorn, Magdalena Ortiz 0001, Mantas Simkus. [doi]
- Semantic Explanations of Classifiers through the Ontology-Based Data Management Paradigm (Extended Abstract)Laura Papi, Gianluca Cima, Marco Console, Maurizio Lenzerini. [doi]
- Stable Model Semantics for Description Logic Terminologies (Extended Abstract)Federica Di Stefano 0001, Mantas Simkus. [doi]
- Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural LanguageStefan Borgwardt, Vera Demberg, Mayank Jobanputra, Alisa Kovtunova, Duy Nhu. [doi]
- On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract)Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
- Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)Oliver Fernández Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan. [doi]
- Querying Inconsistent Prioritized Data (Abstract of Invited Talk)Camille Bourgaux. [doi]
- Actively Learning Ontologies from LLMs: First Results (Extended Abstract)Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi. [doi]
- Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence RelationsFrank Wolter, Michael Zakharyaschev. [doi]
- Strong Faithfulness for ELH Ontology Embeddings (Extended Abstract)Victor Lacerda, Ana Ozaki, Ricardo Guimarães 0001. [doi]
- On Mixed Semantics of Path Description Dependencies in FunDLEva Feng, David Toman 0001, Grant E. Weddell. [doi]
- Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite (Extended Abstract)Bianca Löhnert, Nikolaus Augsten, Cem Okulmus, Magdalena Ortiz 0001. [doi]
- On the Complexity of Maslov's Class K (Extended Abstract)Oskar Fiuk, Emanuel Kieronski, Vincent Michielini. [doi]
- Translating Equilibrium Description Logics into CircumscriptionFederica Di Stefano 0001, Mantas Simkus. [doi]
- Spectra of Cardinality Queries over Description Logic Knowledge Bases (Extended Abstract)Quentin Manière, Marcin Przybylko. [doi]
- Defeasible Justification for KML-Style LogicVictoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini. [doi]
- A Principle-based Framework for Repair Selection in Inconsistent Ontologies (Extended Abstract)Saïd Jabbour, Yue Ma 0009, Badran Raddaoui. [doi]
- Data Complexity in Expressive Description Logics With Path Expressions (Extended Abstract)Bartosz Bednarczyk. [doi]
- Ranking-based Conditional Semantics for Defeasible Subsumptions (Abstract of Invited Talk)Gabriele Kern-Isberner. [doi]
- Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility RelationsRafael Peñaloza, Anni-Yasmin Turhan. [doi]
- Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract)Francesco Kriegel. [doi]
- On the of Limits of Decision: the Adjacent Fragment of First-Order Logic (Extended Abstract)Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann. [doi]
- Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract)Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová. [doi]
- An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract)Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter. [doi]
- Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract)Philipp Seifer, Daniel Hernández 0002, Ralf Lämmel, Steffen Staab. [doi]
- Eviction and Reception for Description Logic Concepts (Extended Abstract)Ana Ozaki, Jandson S. Ribeiro. [doi]
- On the Computation of a Productive Partially Ordered Possibilistic RepairAhmed Laouar, Sihem Belabbes, Salem Benferhat. [doi]
- Informativeness of Query Answers for Knowledge Bases (Extended Abstract)Luca Andolfi, Gianluca Cima, Marco Console, Maurizio Lenzerini. [doi]
- Foundations of Ontology Template Language OTTR (Extended Abstract)Erik Snilsberg, Leif Harald Karlsen, Egor V. Kostylev, Martin G. Skjæveland. [doi]
- Defeasible Reasoning with Prototype Descriptions: A New Preference OrderGabriele Sacco, Loris Bozzato, Oliver Kutz. [doi]
- Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract)Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev. [doi]
- Model Counting and Sampling in First-Order Logic (Abstract of Invited Talk)Ondrej Kuzelka. [doi]
- On the Power and Limitations of Examples for Description Logic Concepts (Extended Abstract)Balder ten Cate, Raoul Koudijs, Ana Ozaki. [doi]
- Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract)Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano 0001, Daniele Theseider Dupré. [doi]
- Probably Approximately Correct Ontology Completion with pacco (Extended Abstract)Sergei Obiedkov, Baris Sertkaya. [doi]
- Modal Separability of Fixpoint FormulaeJean Christoph Jung, Jedrzej Kolodziejski. [doi]