(1)Anh, N. K. Semantic Integration Using Formal Ontologies. J. Comput. Sci. Cybern. 2012, 23, 327-333.