DL是什么意思

dl指的是描述逻辑。

描述逻辑是基于对象的知识表示的形式化，它吸取了KL-ONE的主要思想，是一阶谓词逻辑的一个可判定子集。