A formal definition on ontology integration

There is currently a great deal of research focused on integrating ontologies created for similar domains through different sources. Generally, the definitions of ontology integration explain the functions of the operation. However, there are less works that expound the formal definitions of ontology integration. This paper formally defines ontology integration based on micro-sub graphs, and then proves that the constructed integration ontology is consistent.