I am currently working in the DFG funded research project EVOWIPE were we develop methods to intentionally forget parts of an ontology.
Besides EVOWIPE, my research interests are:
Before joining the Institute of Web Science and Technologies, I was a member of the Artificial Intelligence research group at the University of Koblenz-Landau. In my dissertation I developed methods for the evolution of description logic ABoxes and investigated knowledge compilation techniques for description logic TBoxes.
AI, Semantic Web, Logic,
especially Description Logics, Commonsense Reasoning, Machine Learning
Furthermore, I was involved in different research projects:
In many of our research projects, we are using the Hyper theorem prover. Further information on that versatile prover can be found here.
- In the In2Math project, we developed interactive teaching materials for undergraduate lectures in mathematics and computer science.
- In the TrialSolution project, different methods to combine various teaching materials were developed.This allowed teachers as well as learners to create teaching materials tailored to individual needs.
- In the LogAnswer project, techniques from theorem proving, machine learning and natural language processing were combined to create a natural language question answering system which answers questions based on the knowledge of a snapshot of the German Wikipedia.
- In the RatioLog project, we investigated methods to model human reasoning and tackled the commonsense reasoning benchmarks COPA.
I am one of the organizers of the Workshop on Bridging the Gap between Human and Automated Reasoning which was located at CADE in 2015 and IJCAI in 2016. The next Bridging workshop will be located at CogSci-2017.