P. Wang and B. Xu, “Debugging Ontology Mappings: A Static Approach”, Comput. Inform., vol. 27, no. 1, pp. 21–36, Jan. 2012.