Accepted Papers
The program committee is pleased to announce the list of papers accepted for presentation at DL 2021.
- Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Abstract)
- Finite Model Theory of the Triguarded Fragment and Related Logics
- Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Abstract)
- Repairing ℰℒ TBoxes by Means of Countermodels Obtained by Model Transformation
- Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency
- RSAComb: combined approach for CQ answering in RSA
- Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted TBox
- Model-theoretic Characterizations of Rule-based Ontologies
- Mining EL Bases with Adaptable Role Depth (Extended Abstract)
- How to Approximate Ontology-Mediated Queries
- Upwardly Abstracted Definition-Based Subontologies
- Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations
- Union and Intersection of all Justifications (Extended Abstract)
- Interpolants and Explicit Definitions in Horn Description Logics
- Restricted Unification in the DL EL
- Restricted Unification in the DL FL0 (abstract)
- Modeling Intentional States with Subsystems of ALC
- Navigating the ℰℒ Subsumption Hierarchy
- Tractable Compliance Checking with Negation
- A Well-founded Graph-based Summarization Framework for Description Logics
- Logic-Guided Neural Utterance Generation from Drone Sensory Data (Abstract)
- Making DL-Lite Planning Practical (Abstract)
- Musical Harmony Analysis with Description Logics
- ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract)
- Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes
- Cardinality Queries over DL-Lite Ontologies (Extended abstract)
- Unification in the Description Logic FL_\bot
- Counting Queries over ELHI⊥ Ontologies
- Properties of Module Notions and Atomic Decomposition (Extended Abstract)
- Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security
- Upper bounds for Provenance in ELHr
- Actively Learning ELI Queries under DL-Lite Ontologies
- On Information Disclosure in Ontology-based Data Access
- A connection method for a defeasible extension of ALC
- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Abstract)
- Abstracting Temporal ABoxes in TDL-Lite
- Temporal ABox Cleaning in TDL-Lite
- Weak subsumption in the el-description logic with refreshing variables
- Revising Ontologies via Models: The ALC-formula Case
- Geometric Models for (Temporally) Attributed Description Logics
- Perceptron operators that count
- DL-Lite Full: A Sub-language of OWL 2 Full for Powerful Meta-modeling
- Reasoning about Explanations for Non-validation in SHACL
- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning
- In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract)
- FO Rewritability for OMQ using Beth Definability and Interpolation
- An Aleatoric Description Logic for Probabilistic Reasoning
- Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs
- In the Hand of the Beholder: Comparing Interactive Proof Visualizations
- SMT-Based Verification of Data-Aware Processes under Ontologies (Preliminary Results)
- The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard (Extended Abstract)
- Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract)
- Category-theoretical Semantics of the Description Logic ALC
- Metadata-based Term Selection for Abstraction of OWL Ontologies
- * some papers are accepted conditionally Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases