A formal method for integrating distributed ontologies and reducing the redundant relations

Purpose - The purpose of this paper is to integrate distribut\ed 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-Ner 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.