33rd International Workshop on Description Logics

September 12-14, 2020
Rhodes, Greece

Accepted Papers

Long Presentations
Medina Andresel, Yazmín Ibáñez-García and Magdalena Ortiz A Framework for Exploratory Query Answering with Ontologies Anneke Haga, Carsten Lutz, Johannes Marti and Frank Wolter A Journey into Ontology Approximation: From Non-Horn to Horn Meghyn Bienvenu, Quentin Manière and Michaël Thomazo Answering Counting Queries over DL-Lite Ontologies (Extended Abstract) Carsten Lutz and Leif Sabellek Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries Gianluca Cima, Domenico Lembo, Riccardo Rosati and Domenico Fabio Savo Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (extended abstract) Patrick Koopmann and Jieying Chen Deductive Module Extraction for Expressive Description Logics (Abstract) Franz Baader and Filippo De Bortoli Description Logics That Count, and What They Can and Cannot Count (Extended Abstract) Franz Baader and Jakub Rydval Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract) Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia and Andrius Vaicenavičius Explanations for Ontology−Mediated Query Answering in Description Logics (Extended Abstract) Stefan Borgwardt, Walter Forkel and Alisa Kovtunova Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes David Toman and Grant Weddell First Order Rewritability for Ontology Mediated Querying in Horn-DLFD Ana Ozaki, Cosimo Persia and Andrea Mazzullo Learning Query Inseparable ELH Ontologies Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki and Frank Wolter Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals Alessandro Artale, Andrea Mazzullo, Ana Ozaki and Frank Wolter On Free Description Logics with Definite Descriptions Camille Bourgaux, Ana Ozaki, Rafael Peñaloza and Livia Predoiu Provenance for the Description Logic ELHr (Extended Abstract) Oliver Fernandez Gil and Anni-Yasmin Turhan Relaxed Regular Path Queries in Lightweight DLs Diego Calvanese, Julien Corman, Davide Lanti and Simon Razniewski Rewriting Count Queries over DL-Lite TBoxes with Cardinality Restrictions Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini and Frank Wolter Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures Cristina Feier, Carsten Lutz and Marcin Przybylko The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs
Short Presentations
Jakub Kuklis Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles Clemens Dubslaff, Patrick Koopmann and Anni-Yasmin Turhan Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova and Frederik Wiehr In the Eye of the Beholder: Which Proofs are Best? Tellez Perez Horacio and Wijsen Jef Logic-Based Ranking of Assertions in Inconsistent ABoxes Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca and Roee Shraga Mapping Patterns for Virtual Knowledge Graphs (Extended Abstract) Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova On the Complexity of Finding Good Proofs for Description Logic Entailments Andreas Steigmiller and Birte Glimm Parallelised ABox Reasoning and Query Answering with Expressive Description Logics Gabriella Pasi and Rafael Peñaloza Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract) Vladislav Ryzhikov, Yury Savateev and Michael Zakharyaschev Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic David Carral and Markus Krötzsch Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract) Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla Ebri, Elem Guzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese and Elena Botoeva The Virtual Knowledge Graph System Ontop (Extended Abstract) Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard Towards Even More Irresistible Axiom Weakening Barbara Morawska Unification in FL0 Modulo a Flat TBox Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch and Patrick Koopmann Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair
Poster Presentations
Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario and Ana Ozaki Automated Reasoning in Temporal DL-Lite Manuel Namici, Giuseppe De Giacomo and Maurizio Lenzerini Extending DL-LiteR TBoxes with View Definitions Dennis Peuter and Viorica Sofronie-Stokkermans Finding justifications for subsumption w.r.t. combinations of CBoxes in EL and EL+ Franz Baader, Patrick Koopmann and Cesare Tinelli First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions Martin Homola, Júlia Pukancová, Júlia Gablíková and Katarína Fabianová Merge, Explain, Iterate Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach On a Notion of Relevance Ian Hyland and Renate Schmidt Protege-TS: An OWL Ontology Term Selection Tool Satyadharma Tirtarasa Temporal Properties over Contextualized Description Logics Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt and Hao Feng UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes Francesca Alessandra Lisi Using Higher-order Description Logics for Learning and Mining in Complex Domains Peter Patel-Schneider and David Martin Wikidata on MARS (Preliminary Report)