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.

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