A formal method for integrating distributed ontologies and reducing the redundant relations
Junwu Zhu, Jiandong Wang, Bin Li · Kybernetes · 2009
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.