My scientific interest is mainly in knowledge representation and automatic reasoning. I develop, implement and optimize algorithms for automatic reasoning in expressive description logics and analyze their complexity. For example, I have developed various optimizations for tableau algorithms, novel procedures for combining tableau and saturation-based algorithms and algorithms for answering queries. Our new abstraction and refinement procedure allows conclusions to be drawn about knowledge bases with very large amounts of data. We are also working on providing autonomous vehicles with dynamic knowledge of map data, where a particular challenge lies in the high dynamics. Our research on the generation of explanations in natural language allows the automated derivations to be made comprehensible.
Since 2020 I have been a Research Fellow at fortiss, I am a member of the Steering Committee of the IBM fortiss Center for AI and a co-organizer of the Dagstuhl Perspectives Seminar "Current and Future Challenges in Knowledge Representation and Reasoning" (postponed to July 2022 due to the corona pandemic).
I am an editor of the SPARQL 1.1 Entailment Regimes specification, developed within the SPARQL Working Group of the W3C. Entailment regimes extend SPARQL to work with semantics other than simple entailment, e.g., RDF and RDFS semantics and OWL Direct and RDF-Based Semantics. I am also an editor of the OWL 2 Web Ontology Language Conformance specification, which describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification.
