發送短信 : Knowledge-based ambiguity detection approach to eliminate vagueness in user requirements