Ontology mapping approach based on set & relation theory and OCL  

作　　者：钱鹏飞 张申生 刘英华 

机构地区：[1]Dept.of Computer Science and Technology,Shanghai Jiaotong University

出　　处：《Journal of Harbin Institute of Technology(New Series)》2009年第4期498-504,共7页哈尔滨工业大学学报（英文版）

基　　金：Sponsored by the National High Technology Research and Development Program of China(863)(Grant No.2002AA411420);National Natural Science Foundation(Grant No.60374071)

摘　　要：An ontology mapping approach based on set & relation theory and OCL is introduced,then an ontology mapping meta-model is established which is composed of ontology related elements,mapping related elements and definition rule related elements.This ontology mapping meta-model can be regarded as a unified mechanism to realize different kinds of ontology mappings.The powerful computation capability of set and relation theory and the flexible expressive capability of OCL can be used in the computation of ontology mapping meta-model to realize the unified mapping among different ontology models.Based on the mapping meta-model,a general mapping management framework is developed to provide a common mapping storage mechanism,some mapping APIs and mapping rule APIs.An ontology mapping approach based on set ＆ relation theory and OCL is introduced,then an ontology mapping meta-model is established which is composed of ontology related elements,mapping related elements and definition rule related elements.This ontology mapping meta-model can be regarded as a unified mechanism to realize different kinds of ontology mappings.The powerful computation capability of set and relation theory and the flexible expressive capability of OCL can be used in the computation of ontology mapping meta-model to realize the unified mapping among different ontology models.Based on the mapping meta-model,a general mapping management framework is developed to provide a common mapping storage mechanism,some mapping APIs and mapping rule APIs.

关 键 词：ONTOLOGY mapping meta-model set and relation theory OCL mapping management 

分 类 号：O175.29[理学—数学] TU753[理学—基础数学]