%0 Journal Article
%T 描述逻辑综述
%J 计算机科学
%D 2006
%X 描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。作为一种知识表示的有效机制，描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍，并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义web中的地位等方面做了系统阐述。
%K 描述逻辑知识表示语义web本体综述形式化语言计算机科学一阶逻辑基本语法体系结构
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=21101854&flag=1