Publications

KR2018Query Expressibility and Verification in Ontology-Based Data Access
with Carsten Lutz and Johannes Marti
In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-18), 2018.
PDF | BibTex
IJCAI2018Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.
with Víctor Gutiérrez-Basulto and Jean Christoph Jung
In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI-ECAI-18). AAAI Press, 2018.
PDF | BibTex | Slides
DL2017Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability.
with Carsten Lutz
In Proceedings of the 30th International Workshop on Description Logics, 2017.
PDF | BibTex
IJCAI2017Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.
with Carsten Lutz
In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17), 2017.
PDF | BibTex
2015Beziehungen zwischen Struktureigenschaften von qualitativen Kalkülen
Masterarbeit
PDF
QSTR2015A Note on Algebraic Closure and Closure under Constraints.
with Thomas Schneider
To appear in Proceedings of the Workshop on Qualitative Spatial and Temporal Reasoning: Computational Complexity and Algorithms, 2015.
PDF | BibTex