The purpose of this paper is to integrate distributed ontologies on the web system and clarify the structure of the integrated one.
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.
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.
Instances of certain concept are not given completely on the web, so it is difficult to check extension of different concepts.
A very useful method of integrating distributed ontologies on the web.
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.
