SC-Taxo: Hierarchical Taxonomy Generation under Semantic Consistency Constraints using Large Language Models