Skip to content
TU Dresden
A joint project with Uni Leipzig DE EN

Database-Inspired Reasoning Problems in Description Logics With Path Expressions

A talk by Bartosz Bednarczyk:
June 1, 2023
11 a.m. – noon
TU Dresden, APB/3027 | BigBlueButton
Join us now:


This is a status talk (i.e. pre-PHD-defense talk) for the ongoing PHD thesis of Bartosz Bednarczyk, supervised by Sebastian Rudolph (TU Dresden) and Emanuel Kieroński (University of Wrocław). The main goal of the thesis is to study database-inspired reasoning problems (e.g. satisfiability, query entailment or query containment problems) for the very expressive family Z of description logics.