传统规范语言的劣势在于，它们是由拥有稳固数学知识的人员使用的，使用它来建模系统很困难。
The disadvantage of the traditional formal languages is that they are used by people who possess a solid mathematical knowledge, but they are difficult to use for a modeling system.
Attempto Controlled English是标准英语的一个丰富的子集，它被设计用来作为规范和知识表示语言，包括业务规则。
Attempto Controlled English is a rich subset of standard English designed to serve as specification and knowledge representation language, including for business rules.
本体作为领域知识的规范化形式语言，已成为领域知识管理的强有力工具。
As a formal language in the domain knowledge, ontology has been a vigorous tool for the domain knowledge management.
应用推荐