文档介绍：2
2
第 9卷第 1期江南大学学报(自然科学版) Vol. 9 No. 1
2010年 2月 Journa l of J iangnan Un iversity( Na tura l Sc ience Ed ition) Feb. 2010
描述逻辑研究进展
张燕
(江苏省邮电技工学校,江苏苏州 215009)
摘要:介绍了描述逻辑系统的结构,对基本的描述逻辑语言以及推理机制进行了描述。重点概述
了描述逻辑的动态扩展、模糊以及概率扩展的研究状况,并根据其应用领域对描述逻辑的研究趋
势及其更新进展进行了介绍。
关键词: 描述逻辑;知识表示;推理机制
中图分类号: TP 11 文献标识码: A 文章编号: 1671 - 7147 (2010) 01 - 0122 - 05
Survey of Research on D escr iption L og ic
ZHANG Yan
(J iangsu Posts and munications Technical School , Suzhou 215009, China)
Abstract:Descrip tion logic (DL) is a formal language for rep resenting know ledge and it is a
decidable subset of first order logic. A s an effective mechanism of know ledge rep resentation,
descrip tion logci is extensively app lied to various fields puter science. The architecture of DL
system is introduced and the basic DL languages as well as their reasoning mechanism of DL are
described. The current research p rogresses about dynam ic extension and fuzzy extension as well as
possibility extension to DL are summarized. The research trends and update to DL are p resented
acco rding to app lications of DL.
Key words: descrip tion logic, know ledge rep resentation, reasoning m echanism
描述逻辑(Descrip tion Logic, DL) 是基于对象描述逻辑 10多年来备受人们关注,被广泛应用到计
知识表示的形式化,它吸取了 KL ONE的主要思想, 算机科学的许多领域中,尤其是语义 W eb的发展。
是一阶谓词逻辑的一个可判定子集,能提供可判定主要原因有以下几点: (1) 有清晰的模型———理论
的推理服务。描述逻辑通过定义应用领域的概念及机