描述逻辑综述

描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。作为一种知识表示的有效机制，描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍，并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义web中的地位等方面做了系统阐述。