Distributed ontology integration mechanism and concept lattice redundant relations reduction algorithm | IEEE Conference Publication | IEEE Xplore