Title :
A formal definition on ontology integration
Author :
Xiulei Liu ; Jing Wang ; Wei Li
Author_Institution :
State Key Lab of Networking and Switching Technology, Beijing University of Posts and Telecommunications, 100876, China
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.
Keywords :
consistence; micro-sub graphs; ontology integration; semantic web;
Conference_Titel :
Automatic Control and Artificial Intelligence (ACAI 2012), International Conference on
Conference_Location :
Xiamen
Electronic_ISBN :
978-1-84919-537-9
DOI :
10.1049/cp.2012.0921