TY - JOUR AB - Purpose– The purpose of this paper is to integrate distributed ontologies on the web system and clarify the structure of the integrated one.Design/methodology/approach– A formal method based on concept lattices is introduced as a mechanism to form more general semantic level. By checking the extension and the intension of concept, this method extracts the concept pairs satisfying inclusion relations from descartes' set of concepts in distributed ontologies first, and then constructs a concept lattice according to these concept pairs. An algorithm to reduce redundant relations is also proposed to clarify the structure of integrated ontology.Findings– The experiments demonstrate the effectiveness of the proposed method to reduce redundant relations, and the Nir‐to‐Ncr ratio inclines to 1.05 from 3.13.Research limitations/implications– Instances of certain concept are not given completely on the web, so it is difficult to check extension of different concepts.Practical implications– A very useful method of integrating distributed ontologies on the web.Originality/value– Compared with existing methods, this formal method can be performed by program automatically without any human intervening, and can extract the inclusion relations between concepts from distributed ontologies completely. VL - 38 IS - 10 SN - 0368-492X DO - 10.1108/03684920910994411 UR - https://doi.org/10.1108/03684920910994411 AU - Zhu Junwu AU - Wang Jiandong AU - Li Bin ED - Mian‐yun Chen ED - Yi Lin ED - Hejing Xiong PY - 2009 Y1 - 2009/01/01 TI - A formal method for integrating distributed ontologies and reducing the redundant relations T2 - Kybernetes PB - Emerald Group Publishing Limited SP - 1870 EP - 1879 Y2 - 2024/04/19 ER -