formal semantic description形式语义描述 formal semantic model 形式语义模型 ..
双语例句
1
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formalsemanticdescription of the EXPRESS data model is introduced.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
2
Thus, the semantic characteristics in the provider description (formal or informal) are reflected in the semantic characteristics of the service specification, as shown by the solid arrow in Figure 4.
因此，服务规范的语义特征反映(正式或非正式的)提供者描述中的语义特征，见图4中的实线箭头。
3
Firstly the method of knowledge representation by owl ontologies is researched, then the formal and semanticdescription is introduced, and finally knowledge is represented by an instance.