Database-Inspired Reasoning Problems in Description Logics With Path Expressions

Ein Vortrag von Bartosz Bednarczyk:
01.06.2023
11 a.m. – noon
TU Dresden, APB/3027 | BigBlueButton
Jetzt teilnehmen: 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

Inhalt

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.