The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.

对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。

youdao

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中的实线箭头。

youdao

Firstly the method of knowledge representation by owl ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.

本文在研究owl本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。

youdao