| Vol-2954 urn:nbn:de:0074-2954-0 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# DL 2021
Description Logics 2021

### Proceedings of the 34th International Workshop on Description Logics (DL 2021)
part of Bratislava Knowledge September (BAKS 2021)

### Bratislava, Slovakia, September 19th to 22nd, 2021

Edited by

### Martin Homola *
Vladislav Ryzhikov **
Renate Schmidt ***

* Comenius University in Bratislava, Slovakia
** Birkbeck, University of London, UK
*** University of Manchester, UK

## Table of Contents

- Preface

### Invited Talks

- Empowering Knowledge Bases: A Machine Learning Perspective (Invited Paper and Talk)
  Claudia d’Amato
- Ontology Alignment and the two DLs (Abstract of Invited Talk)
  Ernesto Jimenez-Ruiz
- Locality Properties of Extensions of First-Order Logic and their Use in Algorithms (Abstract of Invited Talk)
  Nicole Schweikardt
- Learning and Reasoning with Logic Tensor Networks: The Framework and an Application (Abstract of Invited Talk)
  Luciano Serafini

### Full Papers

- Upwardly Abstracted Definition-Based Subontologies
  Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao
- In the Hand of the Beholder: Comparing Interactive Proof Visualizations
  Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
- Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox
  Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
- Restricted Unification in the DL EL
  Franz Baader, Maryam Rostamigiv
- Counting Queries over ELHI⊥ Ontologies
  Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
- Tractable Compliance Checking with Negation
  Piero A. Bonatti, Luigi Sauro
- Geometric Models for (Temporally) Attributed Description Logics
  Camille Bourgaux, Ana Ozaki, Jeff Z. Pan
- A Well-founded Graph-based Summarization Framework for Description Logics
  Cheikh-Brahim El Vaigh, Francois Goasdoue
- SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)
  Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
- Model-theoretic Characterizations of Rule-based Ontologies
  Marco Console, Phokion G. Kolaitis, Andreas Pieris
- Modeling Intentional States with Subsystems of ALC
  Thomas Macaulay Ferguson
- A Connection Method for a Defeasible Extension of ALC
  Renan Fernandes, Fred Freitas, Ivan Varzinczak
- An Aleatoric Description Logic for Probabilistic Reasoning
  Tim French, Thomas Smoker
- Actively Learning ELI Queries under DL-Lite Ontologies
  Maurice Funk, Jean Christoph Jung, Carsten Lutz
- Perceptron Operators That Count
  Pietro Galliani, Oliver Kutz, Nicolas Troquard
- DL-Lite Full: A Sub-language of OWL 2 Full for Powerful Meta-modeling
  Zhenzhen Gu, Songmao Zhang
- Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation
  Willi Hieke, Francesco Kriegel, Adrian Nuradiansyah
- RSAComb: Combined Approach for CQ Answering in RSA
  Federico Igne, Stefano Germano, Ian Horrocks
- Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes
  Eduard Kamburjan, Egor V. Kostylev
- Musical Harmony Analysis with Description Logics
  Spyridon Kantarelis, Edmund Dervakos, Natalia Kotsani, Giorgos Stamou
- Navigating the EL Subsumption Hierarchy
  Francesco Kriegel
- Category-theoretical Semantics of the Description Logic ALC
  Chan Le Duc
- Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases
  Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao
- Unification in the Description Logic FL⊥
  Barbara Morawska
- An Upper Bound for Provenance in ELHr
  Rafael Peñaloza
- Revising Ontologies via Models: The ALC-formula Case
  Jandson S. Ribeiro, Ricardo Guimarães, Ana Ozaki
- Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations
  Steven Schockaert, Yazmin A. Ibanez-Garcia, Victor Gutierrez-Basulto
- Temporal ABox Cleaning in TDL-Lite
  Sabiha Tahrat, Salima Benbernou, Mourad Ouziri
- FO Rewritability for OMQ using Beth Definability and Interpolation
  David Toman, Grant Weddell
- Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies
  Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao

### Extended Abstracts

- Reasoning about Explanations for Non-validation in SHACL (Extended Abstract)
  Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehur, Mantas Simkus
- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)
  Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
- Restricted Unification in the DL FL0 (Extended Abstract)
  Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
- Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)
  Bartosz Bednarczyk, Emanuel Kieroński
- The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
  Bartosz Bednarczyk, Sebastian Rudolph
- Cardinality Queries over DL-Lite Ontologies (Extended abstract)
  Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
- Making DL-Lite Planning Practical (Extended Abstract)
  Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
- ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract)
  Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract)
  Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
- Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract)
  Claudia Cauli, Magdalena Ortiz, Nir Piterman
- Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract)
  Stefan Borgwardt, Ernie Chang, Kathryn Chapman, Vera Demberg, Alisa Kovtunova, Hui-Syuan Yeh
- Union and Intersection of all Justifications (Extended Abstract)
  Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang
- On Information Disclosure in Ontology-based Data Access (Extended Abstract)
  Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
- Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract)
  Theo Ducros, Marinette Bouet, Farouk Touman
- Characterising Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs (Extended Abstract)
  Cristina Feier
- Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract)
  Marie Fortin, Boris Konev, Frank Wolter
- In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract)
  Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
- Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)
  Laura Giordano, Daniele Theseider Dupré
- Mining EL⊥ Bases with Adaptable Role Depth (Extended Abstract)
  Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Bariş Sertkaya
- How to Approximate Ontology-Mediated Queries (Extended Abstract
  Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter
- Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract)
  Emanuel Kieronski, Sebastian Rudolph
- Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract)
  Patrick Koopmann
- Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract)
  Carsten Lutz, Marcin Przybyłko
- Properties of Module Notions and Atomic Decomposition (Extended Abstract)
  Robin Nolte, Thomas Schneider
- Abstracting Temporal ABoxes in TDL-Lite (Extended Abstract)
  Sabiha Tahrat, German Braun, Alessandro Artale, Ana Ozaki

2021-09-07: submitted by Renate Schmidt, metadata incl. bibliographic data published under Creative Commons CC0
2021-09-25: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|