FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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
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
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)
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)
Location: Taub 9
16:00
Rational defeasible subsumption in DLs with nested quantifiers: the case of ELI_⊥ (abstract)
16:25
Defeasible reasoning in RDFS (abstract)
PRESENTER: Giovanni Casini
16:50
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (abstract)
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)
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)
Location: Taub 9
11:00
AGM Revision in Description Logics Under Fixed-Domain Semantics (abstract)
11:25
Repairing Ontologies via Kernel Pseudo-Contraction (abstract)
11:50
Pointwise Circumscription in Description Logics (abstract)
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
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)
15:05
Advanced languages of terms for ontologies (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 98C: Tractable DL
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)
16:50
A new dimension to generalization: computing temporal EL concepts from positive examples (Extended Abstract) (abstract)
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)
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)
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
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
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)
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:
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)
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
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).

15:30-16:00Coffee Break