This paper deals with the problem of handling semantic heterogeneity during schema integration. We present an approach on the basis of formal ontologies presented in a logical language to identification of relationship between different local schemas. Semantic similarity relations between definitions in formal ontologies are defined, verified and used for merging formal ontologies. It is found that the result of the merging process can be used for global schema generation. | Ti;1pchi Tin hoc va Dieu khi€n hQC, , (2007), 327-333 TicH HQ"PNGlr NGHIA Slf Dl)NG cAc ONTOLOGY HINH THtfC NGUYEN KIM ANH Khoa Gong ngh~ thong tin, Truimq Dei h9C Bach khoa Ha Noi Abstract. This paper deals with the problem of handling semantic heterogeneity during schema integration. We present an approach on the basis of formal ontologies presented in a logical language to identification of relationship between different local schemas. Semantic similarity relations between definitions in formal ontologies are defined, verified and used for merging formal ontologies. It is found that the result of the merging process can be used for global schema generation. Tom tlit. Bai bao de cap den van de giai quyet sir khong thuan nhat ve ngir nghia trong qua trlnh tich ho p sa do, va mot each tiep can dira tren cac ontology hmh thirc diroc bieu dien boi mot ngon ngir logic de nhan dien sir tuang irng giira cac sa do dia phuang khac nhau. Cac quan h~ tuang tir ve ngir nghia giira cac dinh nghia trong cac ontology hinh thirc diroc xac dinh, diroc kiern tra va dircc Slr dung de tron cac ontology hinh thirc. Ket qua cua qua trlnh tron co the dtroc Slr dung de sinh ra sa do t6ng the. 1. GIO'I THIEU Viec thie t ke cac h~ thong thong tin Ion tlnrong keo theo san sinh ra mot so lcn cac sa do dia phuang khac nhau. Cac sa do dia phuang nay din diroc tich hop de hinh thanh nen mot sa do tong the. MQt trong nhirng trc ngai Ion doi voi nhiem V1,l nay la sir khong thuan nhat ve ngii nghia giira cac sa do dia phirong. Cac ngir nghia duoc noi toi & day am chi cac moi quan he giira cac thuat ngir duoc st'r dung de di:\.t ten cho cac phan tt'r trong sa do va cac dir lieu ma cluing bieu dien hay sir thong dich cua cac thuat ngir nay. Trong [1,3,7]' mot so tac gia da de cap den kha nang st'r dung mot so tri thirc ve ngir nghia cua cac sa do ca s60dir lieu (CSDL), bieu dien chung thong qua mot logic mo ta de so sanh cac khai niem. Tuy nhien, cac each tiep can nay khong de cap
