Detailed Program
All times are in the CEST time zone (UTC+02:00).
The program scrolls horizontally if it does not fit your screen.
Online participation links open in MS Teams. Each day has a channel within the DL 2021 team. Each session is a separate Teams meeting. See our online participation quick start guide.
Saturday, Sep 18 MS Teams Channel | Sunday, Sep 19 MS Teams Channel | Monday, Sep 20 MS Teams Channel | Tuesday, Sep 21 MS Teams Channel | Wednesday, Sep 22 MS Teams Channel |
---|---|---|---|---|
08:30–09:00 AKMIS & DAO-XAI Registration |
08:30–09:00 Registration |
|||
Whole day (on site)ORBIS Project presentation booth |
Whole day (on site)ORBIS Project presentation booth Posters from Poster session 1 |
Whole day (on site)ORBIS Project presentation booth Posters from Poster session 2 |
Whole day (on site)ORBIS Project presentation booth Posters from Poster session 3 |
Whole day (on site)ORBIS Project presentation booth |
09:00–10:30 AKMIS session 1Chair: Štefan Balogh 9:00 Introduction and Welcome Štefan Balogh, Martin Homola 9:05 Ivana Budinska, Sepideh Hassankhani Dolatabadi: Trends and challenges 2021 in cybersecurity 9:20 Martin Homola and Elena Štefancová: Towards Explainable Malware Detection 9:35 Petr Chmelar: Application of Knowledge Methods at GreyCortex Research 9:50 Roderik Ploszek and Matúš Jókay: A Look Into Security Policy Mining 10:00 Ján Mojžiš: Threat agents clustering and characterization 10:10 Aliyu Ali Tanko and Damas Gruska: A state of the attack under incomplete information 10:20 Ivor Uhliarik: On the Transparency of a Product Fuzzy SAT Solver |
09:00–10:50 DL and DAO-XAI joint sessionChairs: Renate Schmidt, Roberto Confalonieri 09:00 Welcome 09:10 Invited talk Luciano Serafini: Learning and Reasoning with Logic Tensor Networks: the Framework and an Application10:10 Patrick Koopmann: Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Abstract) 10:30 Renan Fernandes, Fred Freitas and Ivan Varzinczak: A connection method for a defeasible extension of ALC |
09:00–10:40 Morning sessionChairs: Frank Wolter, Meghyn Bienvenu 09:00 Invited talk Nicole Schweikardt: Locality Properties of Extensions of First-Order Logic and their use in algorithms10:00 Diego Calvanese, Alessandro Gianola, Andrea Mazzullo and Marco Montali: SMT-Based Verification of Data-Aware Processes under Ontologies (Preliminary Results) 10:20 Zhao Liu, Chang Lu, Ghadah Abdulrahman S Alghamdi, Renate A. Schmidt and Yizheng Zhao: Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases |
09:00–10:40 Morning sessionChairs: Stefan Borgwardt, Claudia d'Amato 10:00 Meghyn Bienvenu, Quentin Manière and Michaël Thomazo: Cardinality Queries over DL-Lite Ontologies (Extended abstract) 10:20 Meghyn Bienvenu, Quentin Manière and Michaël Thomazo: Counting Queries over ELHI⊥ Ontologies |
09:00–10:40 Morning sessionChairs: Rafael Peñaloza, Magdalena Ortiz 10:00 Laura Giordano and Daniele Theseider Dupre: Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Abstract) 10:20 Maurice Funk, Jean Christoph Jung and Carsten Lutz: Actively Learning ELI Queries under DL-Lite Ontologies |
10:30–11:00 Coffee break |
10:50–11:20 Coffee break |
10:40–11:10 Coffee break |
10:40–11:10 Coffee break |
10:40–11:10 Coffee break |
11:00–12:30 AKMIS session 2Chair: Martin Homola 11:00 Introduction 11:05 Štefan Balogh and Igor Kossaczký: Intelligent data and their use to improve attack detection 11:15 Peter Švec and Štefan Balogh: Description Logics Concept Learning in Malware Detection 11:25 Martin Homola and Julia Pukancova: Abduction as Diagnostic Methodology 11:40 Panel discussion ORBIS Project panel: Empowering cyber security with semantics for better intelligence sharing and data analysis |
11:20–13:00 Midday sessionChairs: Jean Jung, Oliver Fernandez Gil 11:20 Bartosz Bednarczyk and Emanuel Kieroński: Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract) 11:40 Bartosz Bednarczyk and Sebastian Rudolph: The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard (Extended Abstract) 12:00 Cristina Feier: Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs 12:20 Ricardo Guimarães, Ana Ozaki, Cosimo Persia and Baris Sertkaya: Mining EL Bases with Adaptable Role Depth (Extended Abstract) 12:40 Anneke Haga, Carsten Lutz, Leif Sabellek and Frank Wolter: How to Approximate Ontology-Mediated Queries |
11:10–12:30 Midday sessionChairs: David Carral, Emanuel Kieroński 11:10 Claudia Cauli, Meng Li, Nir Piterman and Oksana Tkachuk: Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning 11:30 Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova and Marcel Steinmetz: Making DL-Lite Planning Practical (Abstract) 11:50 Claudia Cauli, Magdalena Ortiz and Nir Piterman: Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security 12:10 Spyridon Kantarelis, Edmund Dervakos, Natalia Kotsani and Giorgos Stamou: Musical Harmony Analysis with Description Logics |
11:10–12:30 Midday sessionChairs: Alessandro Artale, Gianluca Cima 11:10 Federico Igne, Stefano Germano and Ian Horrocks: RSAComb: combined approach for CQ answering in RSA 11:30 Carsten Lutz and Marcin Przybyłko: Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency 11:50 Pietro Galliani, Oliver Kutz and Nicolas Troquard: Perceptron operators that count 12:10 Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu and Mantas Simkus: Reasoning about Explanations for Non-validation in SHACL |
11:10–12:30 Midday sessionChairs: Carsten Lutz, Adrian Nuradiansyah 11:10 Marco Console, Phokion Kolaitis and Andreas Pieris: Model-theoretic Characterizations of Rule-based Ontologies 11:30 Emanuel Kieronski and Sebastian Rudolph: Finite Model Theory of the Triguarded Fragment and Related Logics 11:50 Jandson S. Ribeiro, Ricardo Guimarães and Ana Ozaki: Revising Ontologies via Models: The ALC-formula Case 12:10 Willi Hieke, Francesco Kriegel and Adrian Nuradiansyah: Repairing ℰℒ TBoxes by Means of Countermodels Obtained by Model Transformation |
12:30–14:20 Lunch |
13:00–15:00 Lunch |
12:30–14:20 Lunch |
12:30–14:20 Lunch |
12:30–14:20 Lunch |
14:20–16:00 DAO-XAI session 1Chair: Pietro Galliani 14:20 Welcome and Introduction Roberto Confalonieri 14:30 Automated and explainable ontology extension based on deep learning: A case study in the chemical domain 14:55 Can Ontologies help making Machine Learning Accountable? (Extended Abstract) 15:10 Complementing Language Embeddings with Knowledge Bases for Specific Domains 15:35 Knowledge Representation for Explainability in Collaborative Robotics and Adaptation |
15:00–16:30 Poster session 1Chairs: Vladislav Ryzhikov, Sabiha Tahrat Barbara Morawska: Unification in the Description Logic FL⟂ Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel and Frederik Wiehr: In the Hand of the Beholder: Comparing Interactive Proof Visualizations Franz Baader and Maryam Rostamigiv: Restricted Unification in the DL EL Camille Bourgaux, Ana Ozaki and Jeff Pan: Geometric Models for (Temporally) Attributed Description Logics Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca and Roee Shraga: ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract) Ernie Chang, Hui-Syuan Yeh, Alisa Kovtunova, Kathryn Chapman, Vera Demberg and Stefan Borgwardt: Logic-Guided Neural Utterance Generation from Drone Sensory Data (Abstract) Jieying Chen, Yue Ma, Rafael Peñaloza and Hui Yang: Union and Intersection of all Justifications (Extended Abstract) |
14:20–16:00 Afternoon sessionChairs: Alessandro Artale, Martin Homola 14:20 Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova: Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Abstract) 14:40 Francesco Kriegel: Navigating the ℰℒ Subsumption Hierarchy 15:00 Marie Fortin, Boris Konev and Frank Wolter: Interpolants and Explicit Definitions in Horn Description Logics 15:20 Robin Nolte and Thomas Schneider: Properties of Module Notions and Atomic Decomposition (Extended Abstract) 15:40 David Toman and Grant Weddell: FO Rewritability for OMQ using Beth Definability and Interpolation |
14:20–16:00 Afternoon sessionChairs: Jean Jung, Cheikh Brahim El Vaigh 14:20 Franz Baader, Oliver Fernandez Gil, and Maryam Rostamigiv: Restricted Unification in the DL FL0 (abstract) 14:40 Piero Bonatti and Luigi Sauro: Tractable Compliance Checking with Negation 15:00 Rafael Peñaloza: Upper bounds for Provenance in ELHr 15:20 Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah and Rafael Peñaloza: Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted TBox 15:40 Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati and Domenico Fabio Savo: On Information Disclosure in Ontology-based Data Access |
14:20–15:20 DL Business meetingChairs: Stefan Borgwardt, Martin Homola |
16:00–16:30 Coffee break |
16:00–16:30 Coffee break |
16:00–16:30 Coffee break |
||
16:30–18:15 DAO-XAI session 2Chair: Roberto Confalonieri 16:30 Using Ontologies for Human-understandable Explanations of Black-box Models (Extended Abstract) 17:45 Semantic Queries Explaining Opaque Machine Learning Classifiers 17:10 Towards Knowledge-driven Distillation and Explanation of Black-box Models 17:35 Knowledge-Based Construction of Confusion Matrices for Multi-Label Classification Algorithms using Semantic Similarity Measures |
17:00–18:45 BAKS Reception |
16:30–18:10 Poster session 2Chairs: Alisa Kovtunova, Quentin Manière Sabiha Tahrat, German Braun, Alessandro Artale and Ana Ozaki: Abstracting Temporal ABoxes in TDL-Lite Sabiha Tahrat, Salima Benbernou and Mourad Ouziri: Temporal ABox Cleaning in TDL-Lite Théo Ducros, Marinette Bouet and Farouk Toumani: Weak subsumption in the el-description logic with refreshing variables Thomas Ferguson: Modeling Intentional States with Subsystems of ALC Tim French and Tom Smoker: An Aleatoric Description Logic for Probabilistic Reasoning Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello and Nicolas Troquard: In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract) Zhenzhen Gu and Songmao Zhang: DL-Lite Full: A Sub-language of OWL 2 Full for Powerful Meta-modeling Eduard Kamburjan and Egor V. Kostylev: Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes |
16:30–17:30 Poster session 3Chairs: Thomas Ferguson, Maurice Funk Cheikh Brahim El Vaigh and Francois Goasdoue: A Well-founded Graph-based Summarization Framework for Description Logics Ghadah Alghamdi, Renate Schmidt, Warren Del-Pinto and Yongsheng Gao: Upwardly Abstracted Definition-Based Subontologies Xinhao Zhu and Xuan Wu and Yizheng Zhao: Metadata-based Term Selection for Abstraction of OWL Ontologies Steven Schockaert, Yazmin A. Ibanez-Garcia and Victor Gutierrez-Basulto: Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations |
|
18:40– Workshops Reception |
19:00– ConcertSoli Deo Gloria Johann Christian Heinrich Rinck, Johann Sebastian Bach, Olivier Messiaen |
18:30– Conference dinner |