FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)

Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach

Comonadic Semantics for Description Logics Games

Mateusz Urbańczyk and Bartosz Bednarczyk

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan and Benjamin Zarriess

Computing Concept Referring Expressions with Standard OWL Reasoners

Moritz Illich and Birte Glimm

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments (Extended Abstract)

Meghyn Bienvenu and Camille Bourgaux

Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results

Martin Homola, Júlia Pukancová, Iveta Balintová and Janka Boborová

Fine-Grained Forgetting for the Description Logic ALC

Mostafa Sakr and Renate A. Schmidt

Advanced Languages of Terms for Ontologies

Philippe Balbiani, Martin Diéguez and Cigdem Gencer

AGM Revision in Description Logics Under Fixed-Domain Semantics

Faiq Miftakhul Falakh and Sebastian Rudolph

Category-Based Semantics for the Description Logic ALC and Reasoning

Ludovic Brieulle, Chan Le Duc and Pascal Vaillant

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

DL Opening Remarks

Martin Homola, Marie-Laure Mugnier and Jean Christoph Jung
Total: 12 presentations.