Welcome    Publications    Teaching

Bild Claudia

Dr. Claudia Schon

Klara Marie Faßbinder Guest Professorship
Technische Hochschule Bingen
Building 1, office 142
55411 Bingen am Rhein

Institute for Web Science and Technologies
Universität Koblenz-Landau
Universitätsstr. 1
Building B, Room 114
56070 Koblenz
+49 +261 287 2773
schon at uni-koblenz.de


About me:

I am currently working in the DFG funded research project CoRg which aims at the construction of a cognitive computing system by modeling aspects of human reasoning like emotions and human interactions. I am also involved in the DFG funded research project EVOWIPE were we develop methods to intentionally forget parts of an ontology.

My research interests are:

  • AI, Semantic Web, Logic, especially Description Logics, Commonsense Reasoning, Machine Learning

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.
Furthermore, I was involved in different research projects:
  • 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.
In many of our research projects, we are using the Hyper theorem prover. Further information on that versatile prover can be found here.

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, at IJCAI in 2016, at CogSci in 2017 and at IJCAI-ECAI in 2018. This years edition of the workshop will located at IJCAI.