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