Publications

Parikh Automata on Infinite Words

with Mario Grobler and Sebastian Siebertz
arxiv

Remarks on Parikh-recognizable omega-languages

with Mario Grobler and Sebastian Siebertz
arxiv

A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL

with Carsten Lutz
In Artificial Intelligence, Volume 308
arxiv

Ontology-Mediated Querying on Databases of Bounded Cliquewidth

with Carsten Lutz and Lukas Schulze
In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022

PDF

How to Approximate Ontology-Mediated Queries

with Anneke Haga, Carsten Lutz and Frank Wolter
In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2021

Best Paper Award Runner-up

PDF | BibTex

How to Approximate Ontology-Mediated Queries (Extended Abstract)

with Anneke Haga, Carsten Lutz and Frank Wolter
In Proceedings of the 34th International Workshop on Description Logics, 2021.
PDF | BibTex

Classifying the Complexity of Ontology-Mediated Queries in EL: From Atomic Queries to Conjunctive Queries

with Carsten Lutz
In Proceedings of the 33rd International Workshop on Description Logics, 2020.
PDF | BibTex

Ontology-mediated querying with Horn Description Logics

Dissertation, Universität Bremen, 2019
PDF | BibTex

Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account

with Reinhard Moratz and Thomas Schneider
In Proceedings of the 14th International Conference on Spatial Information Theory (COSIT 2019)
PDF | BibTex

Query 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

Reverse 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

Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability

with Carsten Lutz
In Proceedings of the 30th International Workshop on Description Logics, 2017.
Best Student Paper Award
PDF | BibTex

Ontology-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

Beziehungen zwischen Struktureigenschaften von qualitativen Kalkülen

Masterarbeit, Universität Bremen, 2015
PDF

A 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