文档介绍：2
2
第 9卷第 1期 江 南 大 学 学 报 (自 然 科 学 版 ) W eb的发展。
是一阶谓词逻辑的一个可判定子集 ,能提供可判定 主要原因有以下几点 : (1) 有清晰的模型 ———理论
的推理服务 。描述逻辑通过定义应用领域的概念及 机制 ; (2) 适合通过概念分类学来表示应用领域 ;
其结构关系 ,刻画领域内的个体信息 ,适合表示关 (3) 提供了有用的推理服务。
于概念和概念层次结构的知识 ,因此也叫做概念表 文中关于描述逻辑系统研究的现状与趋势进
示语言和术语逻辑 。描述逻辑的基本构件是概念 行了综述 ,并介绍了描述逻辑系统的体系结构和扩
( concep t) 、关系 ( ro le) 、个体 ( individua1) 和构子 展研究 ,以及更新研究等状况 。
( constructor) 。概念描述了一个个体集合的共同属
性 ,并且可将概念解释为对象集的一元谓词 ,将关 1 描述逻辑系统的体系结构
系解释为对象之间的二元关系 。构子决定着语言的
表达能力 ,类似于逻辑联结词的功能 ,描述逻辑由 描述逻辑系统 (DL s) 常常作为一个系统的内
构子从简单概念和关系构造出复杂概念和关系 [ 1 ] 。 部组件 ,提供的接口能够完全隐藏描述逻辑语言及
收稿日期 : 2009 - 08 - 10; 修订日期 : 2009 - 09 - 12。
作者简介 :张 燕 (1972—) ,女 ,江苏南京人 ,经济师。主要从事计算机教学工作 。Email: happydeer24@ sohu. comΑ
?
Α
2
第 1期 张 燕 :描述逻辑研究进展 123
其核心的推理服务。描述逻辑系统包含一个用描述 1. 2 描述逻辑的