Wang, P.; Xu, B. Debugging Ontology Mappings: A Static Approach. Comput. Inform. 2012, 27, 21-36.