Using Description Logics Reasoner for Ontology Matching

Ontology matching produces correspondences between elements of two ontologies and it is a basic problem in many database application domains. A Description Logics-based ontology matching approach is proposed. The approach achieves the matching by means of semantic interpretation. The algorithm of deciding ontology correspondences (such as equivalence, more general, less general, disjointness, overlapping) is presented, which is reasoned based on concept inclusion. The reasoner RacerPro is selected to deduce ontology mapping, and the experimental results demonstrate that the approach is feasible.