A formal definition on ontology integration
Xiulei Liu, Jing Wang, Wei Li · 2012
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.