DL 2020
Description Logics 2020

Table of Contents

• Preface
  
  

Invited Talks

• Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes
  Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
• Rewritability Results for OMQs with Closed Predicates
  Magdalena Ortiz
• The Homomorphism Lattice, Unique Characterizations, and Concept Learning
  Balder ten Cate

Full Papers

• On the Complexity of Finding Good Proofs for Description Logic Entailments
  Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
• Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair
  Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann
• A Framework for Exploratory Query Answering with Ontologies
  Medina Andreşel, Yazmín Ibáñez-García, Magdalena Ortiz
• On Free Description Logics with Definite Descriptions
  Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter
• First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions
  Franz Baader, Patrick Koopmann, Cesare Tinelli
• In the Eye of the Beholder: Which Proofs are Best?
  Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr
• Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions
  Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski
• Towards Even More Irresistible Axiom Weakening
  Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
• Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
  Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
• On a Notion of Relevance
  Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
• Merge, Explain, Iterate
  Martin Homola, Júlia Pukancová, Júlia Gablíková, Katarína Fabianová
• Protege-TS: An OWL Ontology Term Selection Tool
  Ian Hyland, Renate Schmidt
• Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles
  Jakub Kuklis
• Using Higher-order Description Logics for Learning and Mining in Complex Domains
  Francesca Alessandra Lisi
• Unification in FL0 Modulo a Flat TBox
  Barbara Morawska
• Extending DL-LiteR TBoxes with View Definitions
  Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini
• Wikidata on MARS (Preliminary Report)
  Peter Patel-Schneider, David Martin
• Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+
  Dennis Peuter, Viorica Sofronie-Stokkermans
• Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic
  Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
• Logic-Based Ranking of Assertions in Inconsistent ABoxes
  Horacio Tellez Perez, Jef Wijsen
• Temporal Properties over Contextualized Description Logics
  Satyadharma Tirtarasa
• First Order Rewritability for Ontology Mediated Querying in Horn-DLFD
  David Toman, Grant Weddell
• UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes
  Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt, Hao Feng

Extended Abstracts

• Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)
  Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
• Description Logics That Count, and What They Can and Cannot Count (Extended Abstract)
  Franz Baader, Filippo De Bortoli
• Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract)
  Franz Baader, Jakub Rydval
• Answering Counting Queries over DL-Lite Ontologies (Extended Abstract)
  Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract)
  Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
• Provenance for the Description Logic ELHr (Extended Abstract)
  Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
• Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract)
  Loris Bozzato, Camillo Fiorentini
• Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research)
  Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
• Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)
  David Carral, Markus Krötzsch
• Explanations for Ontology−Mediated Query Answering in Description Logics (Extended Abstract)
  İsmail İlkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavičius
• Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract)
  Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
• The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract)
  Cristina Feier, Carsten Lutz, Marcin Przybylko
• Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)
  Oliver Fernández Gil, Anni-Yasmin Turhan
• A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract)
  Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
• Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract)
  Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
• Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries (Extended Abstract)
  Carsten Lutz, Leif Sabellek
• Deductive Module Extraction for Expressive Description Logics (Extended Abstract)
  Patrick Koopmann, Jieying Chen
• Argumentation Theory for Reasoning with Inconsistent Ontologies (Extended Abstract)
  Yiwei Lu, Zhe Yu
• Learning Query Inseparable ELH Ontologies (Extended Abstract)
  Ana Ozaki, Cosimo Persia, Andrea Mazzullo
• Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract)
  Gabriella Pasi, Rafael Peñaloza
• Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract)
  Andreas Steigmiller, Birte Glimm
• Automated Reasoning in Temporal DL-Lite (Extended Abstract)
  Sabiha Tahrat, Germán Alejandro Braun, Alessandro Artale, Marco Gario, Ana Ozaki
• The Virtual Knowledge Graph System Ontop (Extended Abstract)
  Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla Ebri, Elem Güzel Kalaycı, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva