Résumé
Verifying the semantic coherence of the discovered alignment is a crucial task in ontology matching. Mapping selection is used at the end of the matching process in order to produce the final alignment. There are different strategies and methods for selecting mappings, that can be mainly classified into two categories. The first category is based on threshold filter and cardinality filter. The second category, called also semantic verification, uses semantic filter. It takes additional semantic information of entities in the input ontologies in consideration to select the best mappings. Verifying the semantic coherence of the discovered mappings is known as a crucial and challenging task namely in large scale ontology matching because almost all reasoning systems fail or cannot completely classify large ontologies. In this paper, we present our latest work in the field of semantic verification. In order to effectively detect explicit conflicts among a set of mappings, especially in the large scale ontology matching, we perform a structural indexing for the both to-be-matched ontologies. If disjoint relations are not found in those ontologies, we propose a semantically similarity measure to determine if two classes in a large ontology are potentially disjoint. Then, we define patterns to detect conflict mappings. Once the conflict set of mappings is located, an approximation algorithm is applied to remove this inconsistency. A prototype called YAM++ implementing these contributions has participated to OEAI2013 and has got top positions in all tracks where it has participated in. In this paper, we report and analyze the evaluation results on the effectiveness and efficiency of our approach for semantic verification in large scale OAEI Large Biomedical track.