Anh, N. K. Semantic Integration Using Formal Ontologies. JCC 2012, 23, 327-333.