DL 2021
Description Logics 2021

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