A Formal Definition on Ontology Integration

Xiulei Liu,Jing Wang,Wei Li
DOI: https://doi.org/10.1049/cp.2012.0921
2012-01-01
Abstract: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.
What problem does this paper attempt to address?