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: https://bbb.tu-dresden.de/b/pio-zwt-smp-aus
https://iccl.inf.tu-dresden.de/web/Database-Inspired_Reasoning_Problems_in_Description_Logics_With_Path_Expressions

Abstract

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.