Information Technology Journal1812-56381812-5646Asian Network for Scientific Information10.3923/itj.2011.1106.1112KolliManel BoufaidaZizette 62011106This study presents a formal solution based on the techniques of description logics to solve the problem of ontology matching process which consists of detecting the semantic mappings between two given ontologies. Composing the relations between their subsumers does the deduction of the relations among the semantic entities of different ontologies. It also, presents some performed experiments to assess the effectiveness of the composition operation and to verify that the proposed solution returns complete and precise results. The results obtained look very promising, comparing with expert mappings.]]>Allen, J.F.,198326832843Caracciolo, C., J. Euzenat, L. Hollink, R. Ichise and A. Isaac et al.,20082008pp: 73119Cullot, N. and F. Jouanot,20032003pp: 536551D'Aquin, M., F. Badra, S. Lafrogne, J. Lieber, A. Napoli and L. Szathmary,20062006pp: 795796David, J. and J. Euzenat,20082008pp: 2536Djaghloul, Y. and Z. Boufaida,200513142Djaghloul, Y. and Z. Boufaida,200724860Fagin, R., P.G. Kolaitis, L. Popa and W.C. Tan,2005309941005Kolli, M. and Z. Boufaida,20042004pp: 665665Kolli, M. and Z. Boufaida,20092009pp: 361368Kolli, M. and Z. Boufaida,201032935Madhavan, J. and A. Halevy,20032003pp: 572583Noy, N.F. and M.A. Musen,2003599831024Schorlemmer, M., Y. Kalfoglou and M. Atencia,200734765Smiljanic, M., M. van Keulen and W. Jonker,20052005pp: 333342Sotnykova, A., C. Vangenot, N. Cullot, N. Bennacer and M.A. Aufaure,20053143167Tang, J., J. Li, B. Liang, X. Huang, Y. Li and K. Wang,20064243262