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