Lukas Gerlach

From International Center for Computational Logic

Dipl.-Inf. Lukas Gerlach

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Knowledge-Based Systems
Lukas Gerlach

Hi!

I'm Lukas and I'm a Research Associate / PhD student in the Knowledge-Based Systems group. I mainly research existential rules, the chase algorithm and related topics. During my studies, I specialized in database theory, logics and complexity theory.

Newest Publications

View full publication list

Lukas Gerlach, David Carral, Markus Krötzsch
Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies
Project Thesis, TU Dresden, March 2021
Details Download
Lukas Gerlach, Markus Krötzsch
Chase-Based Computation of Cores for Existential Rules
Diploma Thesis, TU Dresden, September 2021
Details Download
Lukas Gerlach, David Carral, Markus Krötzsch
Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules
Project Thesis, TU Dresden, September 2020
Details Download
View full publication list