传统规范语言的劣势在于,它们是由拥有稳固数学知识的人员使用的,使用它来建模系统很困难。
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.
应用推荐