Authors | Title | Paper | Talk |
---|
Faiq Miftakhul Falakh and Sebastian Rudolph | AGM Revision in Description Logics Under Fixed-Domain Semantics | | Aug 08 11:00 |
Tim Lyon and Jonas Karge | Uniform and Modular Sequent Systems for Description Logics | | Aug 09 10:15 |
Philippe Balbiani, Cigdem Gencer and Martin Diéguez | Advanced languages of terms for ontologies | | Aug 08 15:05 |
Ludovic Brieulle, Chan Le Duc and Pascal Vaillant | Category-based Semantics for the Description Logic ALC and Reasoning | | Aug 10 12:15 |
Birte Glimm, Yevgeny Kazakov and Michael Welt | Concept Abduction for Description Logics | | Aug 09 14:00 |
Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu and Diego Calvanese | Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs | | Aug 10 11:50 |
Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová | An API for DL Abduction Solvers | | Aug 09 15:15 |
Martin Homola, Júlia Pukancová, Iveta Balintová and Janka Boborová | Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results | | Aug 08 12:15 |
Jean Christoph Jung, Andrea Mazzullo and Frank Wolter | More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions | | Aug 09 09:00 |
Satyadharma Tirtarasa and Anni-Yasmin Turhan | A new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract) | | Aug 08 16:50 |
Guendalina Righetti, Daniele Porello and Roberto Confalonieri | Evaluating the Interpretability of Threshold Operators | | Aug 09 15:30 |
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter and Michael Zakharyaschev | Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps | | Aug 07 10:05 |
Maurice Funk, Jean Christoph Jung and Carsten Lutz | Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies | | Aug 08 16:25 |
Lucía Gómez Álvarez, Sebastian Rudolph and Hannes Strass | Modelling Multiple Perspectives by Standpoint-Enhanced DLs | | Aug 07 16:50 |
Bartosz Bednarczyk and Mateusz Urbańczyk | Comonadic Semantics for Description Logics Games | | Aug 08 14:50 |
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez and Alexej Popovič | On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne | | Aug 09 14:25 |
Bernardo Alkmim, Edward Haeusler and Cláudia Nalon | A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals | | Aug 09 15:45 |
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova | Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies | | Aug 07 09:40 |
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel and Marcel Steinmetz | Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) | | Aug 09 12:00 |
Federica Di Stefano, Magdalena Ortiz and Mantas Simkus | Pointwise Circumscription in Description Logics | | Aug 08 11:50 |
Alex Borgida, Enrico Franconi, David Toman and Grant Weddell | Accessing Document Data Sources using Referring Expression Types | | Aug 10 11:25 |
Loris Bozzato, Thomas Eiter and Rafael Kiesel | Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures | | Aug 07 15:00 |
Moritz Illich and Birte Glimm | Computing Concept Referring Expressions with Standard OWL Reasoners | | Aug 10 11:00 |
Birte Glimm and Yevgeny Kazakov | SAT-Based Axiom Pinpointing Revisited | | Aug 09 14:50 |
Mostafa Sakr and Renate A. Schmidt | Fine-Grained Forgetting for the Description Logic ALC | | Aug 09 09:50 |
Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong and Diego Calvanese | Ontology-based Data Federation (Extended Abstract) | | Aug 08 14:25 |
Meghyn Bienvenu, Quentin Manière and Michaël Thomazo | Complexity Landscape for Counting Queries (Extended abstract) | | Aug 07 09:15 |
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan and Benjamin Zarriess | Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) | | Aug 08 16:00 |
Meghyn Bienvenu and Camille Bourgaux | Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract) | | Aug 08 14:00 |
Haoruo Zhao, Bijan Parsia and Uli Sattler | Next Steps for ReAD: Modules for Classification Optimisation | | Aug 10 10:00 |
Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach | Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) | | Aug 08 10:00 |
Laura Giordano, Alberto Martelli and Daniele Theseider Dupre | Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) | | Aug 08 17:15 |
Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian Nuradiansyah | Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) | | Aug 09 09:25 |