My research is concerned with the problem of Ontology Matching. Ontology Matching (sometimes also refered to as Ontology Alignment) is about finding correspondences between elements (e.g. concepts or roles) of two ontologies covering the same or a similar domain. The matching process can be divided into two steps: First, a set of matching hypotheses is generated. Then, a subset of these hypotheses is chosen as final alignment. In my work I focus on several problems related to the second step. In particular, I suggest the use of logical reasoning to ensure the consistency of the final alignment.

If you are interested in this approach, I suggest to read the paper "Applying Logical Constraints to Ontology Matching" which focusses on theoretical foundations as well as the paper "Analyzing Mapping Extraction Approaches" comparing different approaches discussing some experimental results on realistic matching problems.