DL PROGRAM
Days: Sunday, August 7th Monday, August 8th Tuesday, August 9th Wednesday, August 10th
Sunday, August 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 85C: Opening and Query Answering
Chair:
Location: Taub 9
| 09:00 | DL Opening Remarks  PRESENTER: Martin Homola |
| 09:15 | Complexity Landscape for Counting Queries (Extended abstract) (abstract)   PRESENTER: Quentin Manière |
| 09:40 | Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (abstract) PRESENTER: Alisa Kovtunova |
| 10:05 | Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (abstract) PRESENTER: Yury Savateev |
10:30-11:00Coffee Break
11:00-12:00 Session 89: Keynote
Chair:
Location: Churchill Auditorium
| 11:00 | Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry (abstract) |
12:30-14:00Lunch Break
Lunches will be held in Taub lobby (CAV, CSF) and in The Grand Water Research Institute (DL, NMR, ITP).
14:00-15:30 Session 90C: Joint NMR/DL Session (1)
Chair:
Location: Taub 9
| 14:00 | Hybrid Answer Set Programming: Opportunities and Challenges (abstract) |
| 15:00 | Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (abstract) PRESENTER: Rafael Kiesel |
15:30-16:00Coffee Break
16:00-17:30 Session 92C: Joint NMR/DL Session (2)
Chair:
Location: Taub 9
| 16:00 | Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥ (abstract) PRESENTER: Igor de Camargo E Souza Câmara |
| 16:25 | Defeasible reasoning in RDFS (abstract) PRESENTER: Giovanni Casini |
| 16:50 | Modelling Multiple Perspectives by Standpoint-Enhanced DLs (abstract) PRESENTER: Lucía Gómez Álvarez |
17:30-18:45 Session 93: Logic Lounge: Future of Autonomous Driving; Keynote by Shai Shalev-Shwartz (Mobileye and The Hebrew University of Jerusalem); Panel: Gila Kamhi (Intel, Haifa), Sanjit Seshia (UC Berkeley)
Chair:
Location: Churchill Auditorium
Monday, August 8th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 94C: Joint NMR/DL Session (3)
Chair:
Location: Taub 9
| 09:00 | Rectifying Classifiers (abstract) |
| 10:00 | Connection-minimal Abduction in EL via translation to FOL (Extended Abstract) (abstract) PRESENTER: Sophie Tourret |
10:30-11:00Coffee Break
11:00-12:30 Session 96C: Joint NMR/DL Session (4)
Chair:
Location: Taub 9
| 11:00 | AGM Revision in Description Logics Under Fixed-Domain Semantics (abstract) PRESENTER: Faiq Miftakhul Falakh |
| 11:25 | Repairing Ontologies via Kernel Pseudo-Contraction (abstract) PRESENTER: Vinícius Bitencourt Matos |
| 11:50 | Pointwise Circumscription in Description Logics (abstract) PRESENTER: Federica Di Stefano |
| 12:15 | Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results (abstract) PRESENTER: Martin Homola |
12:30-14:00Lunch Break
Lunches will be held in Taub lobby (CAV, CSF) and in The Grand Water Research Institute (DL, NMR, IJCAR, ITP).
14:00-15:30 Session 97C: Query Answering & Extensions
Chair:
Location: Taub 9
| 14:00 | Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract) (abstract) PRESENTER: Meghyn Bienvenu |
| 14:25 | Ontology-based Data Federation (Extended Abstract) (abstract) PRESENTER: Diego Calvanese |
| 14:50 | Comonadic Semantics for Description Logics Games (abstract) PRESENTER: Mateusz Urbańczyk |
| 15:05 | Advanced languages of terms for ontologies (abstract) PRESENTER: Philippe Balbiani |
15:30-16:00Coffee Break
16:00-17:30 Session 98C: Tractable DL
Chair:
Location: Taub 9
| 16:00 | Efficient TBox Reasoning with Value Restrictions using the FL0wer Reasoner (Extended Abstract) (abstract) PRESENTER: Patrick Koopmann |
| 16:25 | Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies (abstract) PRESENTER: Jean Christoph Jung |
| 16:50 | A new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract) (abstract) PRESENTER: Satyadharma Tirtarasa |
| 17:15 | Reasoning about actions with EL ontologies in a temporal action theory (Extended Abstract) (abstract) PRESENTER: Laura Giordano |
18:30-20:30 Walking tour (at Haifa)
pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)
Tuesday, August 9th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 100C: Modularity and Forgetting (1)
Chair:
Location: Taub 9
| 09:00 | More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (abstract) PRESENTER: Andrea Mazzullo |
| 09:25 | Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (abstract)  PRESENTER: Francesco Kriegel |
| 09:50 | Fine-Grained Forgetting for the Description Logic ALC (abstract) |
| 10:15 | Uniform and Modular Sequent Systems for Description Logics (abstract) PRESENTER: Jonas Karge |
10:30-11:00Coffee Break
11:00-12:30 Session 102C: Expressivity & Decidability
Chair:
Location: Taub 9
| 11:00 | Charting the Borderland – Decidability in Description Logics and Beyond (abstract) |
| 12:00 | Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) (abstract) PRESENTER: Alisa Kovtunova |
12:30-14:00Lunch Break
Lunches will be held in Taub lobby (CAV, CSF) and in The Grand Water Research Institute (DL, NMR, IJCAR, ITP).
14:00-16:00 Session 104C: Abduction and Explanations
Chair:
Location: Taub 9
| 14:00 | Concept Abduction for Description Logics (abstract) PRESENTER: Yevgeny Kazakov |
| 14:25 | On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (abstract) PRESENTER: Patrick Koopmann |
| 14:50 | SAT-Based Axiom Pinpointing Revisited (abstract) PRESENTER: Yevgeny Kazakov |
| 15:15 | An API for DL Abduction Solvers (abstract) PRESENTER: Martin Homola |
| 15:30 | Evaluating the Interpretability of Threshold Operators (abstract) PRESENTER: Guendalina Righetti |
| 15:45 | A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals (abstract) PRESENTER: Bernardo Alkmim |
16:00-16:30Coffee Break
16:30-17:30 Session 108: Plenary
Chair:
Location: Churchill Auditorium
| 16:30 | SMT-based Verification of Distributed Network Control Planes (abstract) |
Wednesday, August 10th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 110C: Modularity and Forgetting (2)
Chair:
Location: Taub 9
| 09:00 | Knowledge Extraction Based on Forgetting and Subontology Generation (abstract) |
| 10:00 | Next Steps for ReAD: Modules for Classification Optimisation (abstract) PRESENTER: Haoruo Zhao |
10:30-11:00Coffee Break
11:00-12:30 Session 112C: Referring Expressions & Information Extraction
Chair:
Location: Taub 9
| 11:00 | Computing Concept Referring Expressions with Standard OWL Reasoners (abstract) PRESENTER: Birte Glimm |
| 11:25 | Accessing Document Data Sources using Referring Expression Types (abstract) PRESENTER: David Toman |
| 11:50 | Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (abstract) PRESENTER: Diego Calvanese |
| 12:15 | Category-based Semantics for the Description Logic ALC and Reasoning (abstract) PRESENTER: Ludovic Brieulle |
12:30-14:00Lunch Break
Lunches will be held in Taub lobby (CAV, CSF) and in The Grand Water Research Institute (DL, IJCAR, ITP).
12:30-13:15 Session 113: Business Meeting
Chair:
Location: Taub 9
| 12:30 | Business Meeting PRESENTER: Jean Christoph Jung |
15:30-16:00Coffee Break