Abstract is missing.
- Semiring Provenance in Expressive Description LogicsRafael Peñaloza. [doi]
- Dispute Resolution with OWL DL and ReasoningIldar Baimuratov, Elena Lisanyuk, Dmitry Prokudin. [doi]
- Towards Ontology-Mediated Planning with OWL DL OntologiesTobias John, Patrick Koopmann. [doi]
- Repairing EL⊥ Ontologies using Debugging, Weakening and Completing (Extended Abstract)Ying Li, Patrick Lambrix. [doi]
- SAT-based PAC Learning of Description Logic Concepts (Extended Abstract)Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz. [doi]
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)Lukas Gerlach 0002, David Carral. [doi]
- Circumscription in DL-Lite: Progress ReportPiero Bonatti, Federica Di Stefano, Magdalena Ortiz 0001, Mantas Simkus. [doi]
- Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract)Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. [doi]
- On the Expressive Power of Ontology-Mediated Queries: Capturing coNPSanja Lukumbuzya, Magdalena Ortiz 0001, Mantas Simkus. [doi]
- Fully Dynamic Materialization MaintenanceMoritz Illich, Birte Glimm. [doi]
- Defeasible Reasoning with Prototype Descriptions: First StepsGabriele Sacco, Loris Bozzato, Oliver Kutz. [doi]
- Rewriting Ontology-Mediated Navigational Queries into CypherNikola Dragovic, Cem Okulmus, Magdalena Ortiz 0001. [doi]
- Efficient Explanation of Predictions on DL Knowledge Graphs through Enhanced Similarity SearchClaudia d'Amato, Francesco Benedetti, Nicola Fanizzi. [doi]
- Eviction and Reception for Description Logic Ontologies (Extended Abstract)Ricardo Guimarães 0001, Ana Ozaki, Jandson S. Ribeiro. [doi]
- Improving DL-Learner on a Malware Detection Use CaseTomás Bisták, Peter Svec, Ján Kluka, Alexander Simko, Stefan Balogh, Martin Homola. [doi]
- Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change (Extended Abstract)Franz Baader. [doi]
- Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract)Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi 0002, Riccardo Rosati 0001, Luigi Sauro, Domenico Fabio Savo. [doi]
- A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract)Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
- Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract)Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. [doi]
- Path Description Dependencies in Feature-Based DLsEva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman 0001, Grant E. Weddell. [doi]
- Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)Anni-Yasmin Turhan. [doi]
- ASP-based Axiom Pinpointing for Description LogicsIgnacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca. [doi]
- Commonality Subtraction Operator for the EL Description LogicAxel Mascaro, Christophe Rey. [doi]
- On the Abstract Expressive Power of Description Logics with Concrete DomainsFranz Baader, Filippo De Bortoli. [doi]
- Direct Mappings under the Lens of Information Capacity (Extended Abstract)Davide Lanti, Alessandro Mosca 0001, Diego Calvanese, Marco Montali. [doi]
- Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree AutomatasOliver Fernández Gil, Pavlos Marantidis. [doi]
- Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract)Janka Boborová, Iveta Balintová, Júlia Pukancová, Martin Homola. [doi]
- DL Abduction API v2 and GUI Interface (Extended Abstract)Jakub Kloc, Martin Homola, Júlia Pukancová. [doi]
- Making Axiom Weakening Work in SROIQRoland Bernard, Oliver Kutz, Nicolas Troquard. [doi]
- Clustering Knowledge Graphs Using Concept Lattices (Extended Abstract)Fabiola Hodo, Sai Pranav, Baris Sertkaya. [doi]
- Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract)Carsten Lutz, Quentin Manière, Robin Nolte. [doi]
- Knowledge Representation and Reasoning in the Time of Data-Centric AI (Abstract of Invited Talk)Francesca Toni. [doi]
- Accessing Answers to Conjunctive Queries with Ideal Time Guarantees (Abstract of Invited Talk)Nofar Carmeli. [doi]
- Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract)Alessandro Artale, Andrea Mazzullo. [doi]
- Why Not? Explaining Missing Entailments with EveeChristian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov. [doi]
- The Music Part Ontology (Extended Abstract)Spyridon Kantarelis, Edmund Dervakos, Giorgos Stamou. [doi]
- Computing ABox Justifications for Query Answers via Datalog RewritingStefan Borgwardt, Steffen Breuer, Alisa Kovtunova. [doi]
- Description Logics Go Second-Order - Extending EL with Universally Quantified ConceptsJoshua Hirschbrunn, Yevgeny Kazakov. [doi]
- Efficient Computation of General Modules for ALC Ontologies (Extended Abstract)Hui Yang, Patrick Koopmann, Yue Ma 0009, Nicole Bidoit. [doi]
- Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract SyntaxBjörn Gehrke, Till Mossakowski. [doi]
- Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)Shqiponja Ahmetaj, Magdalena Ortiz 0001, Anouk Michelle Oudshoorn, Mantas Simkus. [doi]
- Error-Tolerant Reasoning in EL w.r.t. Optimal ABox Repairs (Extended Abstract)Franz Baader, Francesco Kriegel, Adrian Nuradiansyah. [doi]