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

描述逻辑是一种示形式化语言,是一阶逻辑可判定子集。