Abstract is missing.
- Rectifying Classifiers (Joint DL+NMR Invited Talk Abstract)Pierre Marquis. [doi]
- Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract)Laura Giordano 0001, Alberto Martelli, Daniele Theseider Dupré. [doi]
- Exact Learning of ELI Queries in the Presence of DL-Lite-Horn OntologiesMaurice Funk, Jean Christoph Jung, Carsten Lutz. [doi]
- AGM Revision in Description Logics Under Fixed-Domain SemanticsFaiq Miftakhul Falakh, Sebastian Rudolph. [doi]
- Comonadic Semantics for Description Logics GamesBartosz Bednarczyk, Mateusz Urbanczyk. [doi]
- Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)Meghyn Bienvenu, Camille Bourgaux. [doi]
- Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract)Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev. [doi]
- Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach. [doi]
- Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß. [doi]
- More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role InclusionsJean Christoph Jung, Andrea Mazzullo, Frank Wolter. [doi]
- Fine-Grained Forgetting for the Description Logic ALCMostafa Sakr, Renate A. Schmidt. [doi]
- Computing Concept Referring Expressions with Standard OWL ReasonersMoritz Illich, Birte Glimm. [doi]
- Concept Abduction for Description LogicsBirte Glimm, Yevgeny Kazakov, Michael Welt. [doi]
- Accessing Document Data Sources using Referring Expression TypesAlexander Borgida, Enrico Franconi, David Toman 0001, Grant E. Weddell. [doi]
- Uniform and Modular Sequent Systems for Description LogicsTim Lyon, Jonas Karge. [doi]
- Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)Loris Bozzato, Thomas Eiter, Rafael Kiesel. [doi]
- Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract)Thomas Eiter. [doi]
- Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract)Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass. [doi]
- On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and EvonneChristian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez 0001, Alexej Popovic. [doi]
- Complexity Landscape for Counting Queries (Extended Abstract)Meghyn Bienvenu, Quentin Manière, Michaël Thomazo. [doi]
- Advanced Languages of Terms for OntologiesPhilippe Balbiani, Martín Diéguez, Çigdem Gencer. [doi]
- Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight OntologiesChristian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova. [doi]
- An API for DL Abduction SolversZuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová. [doi]
- Evaluating the Interpretability of Tooth Expressions (Extended Abstract)Guendalina Righetti, Daniele Porello, Roberto Confalonieri 0001. [doi]
- Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah. [doi]
- Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract)Renate A. Schmidt. [doi]
- SAT-Based Axiom Pinpointing RevisitedBirte Glimm, Yevgeny Kazakov. [doi]
- Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract)Jing Xiong, Guohui Xiao 0001, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese. [doi]
- Hybrid MHS-MXP ABox Abduction Solver: First Empirical ResultsMartin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová. [doi]
- Next Steps for ReAD: Modules for Classification OptimisationHaoruo Zhao, Bijan Parsia, Uli Sattler. [doi]
- Ontology-based Data Federation (Extended Abstract)Zhenzhen Gu, Davide Lanti, Alessandro Mosca 0001, Guohui Xiao 0001, Jing Xiong, Diego Calvanese. [doi]
- Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)Stefan Borgwardt, Jörg Hoffmann 0001, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz. [doi]
- Pointwise Circumscription in Description LogicsFederica Di Stefano, Magdalena Ortiz 0001, Mantas Simkus. [doi]
- Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract)Ludovic Brieulle, Chan Le Duc, Pascal Vaillant. [doi]
- A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)Satyadharma Tirtarasa, Anni-Yasmin Turhan. [doi]
- A Labelled Natural Deduction System for an Intuitionistic Description Logic with NominalsBernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon. [doi]
- Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract)Sebastian Rudolph. [doi]