Concept algebra based ontology merging method