作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
As a research focus in natural language understanding area, the purpose of semantic analysis is to transfer the mankind's natural language into formal language that computer can understand.
本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。
The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
应用推荐