decidable

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

描述逻种知识表示的形式化语言,阶逻的可判定子集。