Bartosz Bednarczyk
TU Dresden
description logic; query answering; satisfiability; alc; cardinality constraints
1
presentations
SHORT BIO
Bartosz Bednarczyk is a PHD student at TU Dresden and at University of Wrocław, supervised jointly by Sebastian Rudolph (Dresden) and Emanuel Kieroński (Wrocław). His work focus on different aspects of ontology mediated data access and applications of decidable fragments of first-order logic (like existential rules or guarded-fragments) to database-inspired reasoning problems.
OTHER AFFILIATIONS
University of Wrocław
Presentations
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
Bartosz Bednarczyk