描述形式

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

述逻辑是一种知识表示形式化语言,是一阶逻辑可判定子。

To describe the anisotropy of microdamage of the crust block, we use the damage tensor that is expressed in the fissure density.

述地壳块体微各异性，引入裂纹密度表示张量形式。