An Effective Method for Ontology Integration by Propagating Inconsistency | IEEE Conference Publication | IEEE Xplore