基于描述逻辑的推理算法的设计和实现.pdfVIP

小 型 微 型 计 算 机 系 统 2008年 1月 第 1期 JournalofChineseComputerSystems Vo1．29 No．1 2008 基于描述逻辑的推理系统设计与实现 文坤梅，卢正鼎，吴杰文，李瑞轩，孙小林 (华中科技大学计算机科学与技术学院，湖北武汉430074) E—mail：kmwen@hust．edu．ca 摘 要：语义web的出现使得描述逻辑成为近期的研究热点，作为本体描述语言的基础，描述逻辑具有较强的表达能力．设计 并实现 了基于描述逻辑Tableaux算法的推理系统，实验结果表 明，该系统可实现本体基本推理功能、TBox及ABox推理功能， 且能融入到语义 Web的实际应用系统中，减少对计算机的人工干预 ，在一定程度上提高了机器 的理解能力． 关键 词：语义Web；描述逻辑；Tableaux算法；推理系统 中图分类号：TP311 文献标识码：A 文 章 编 号：1000—1220(2008)01—0057—04 Design andImplementationofReasoningSystem BasedonDescription Logic WENKun—me，LU Zheng—ding，WU Jie—wen，LIRui—xuan，SUN Xiao—lin (SchoolofComputerScienceandTechnology，HuazhongUniversityof ScienceandTechnology，Wuhan430074，China) Abstract：TheappearanceofSemanticW ebmakesDescriptionLogic (DL)ahotresearchpoint．Asthebaseofontologyde— scriptionlanguage。DIhasagoodexpressioncapability．Thereasoningsystem isdesignedandimplementedbasedontableaux algorithm ofDL、Theexperimentshowsthatthesystem canperform basicontology reasoning，TBoxand ABoxreasoning function．ItalsocanbeimbeddedintherealapplicationsystemsofSemanticWebtOreducethemanualworkand partlyim— provetheunderstandingcapabilityforthecomputer． Keywords：semanticW eb，descriptionlogic，tableauxalgorithm ，reasoningsystem 1 引 言 示本体．描述逻辑[2]主要应用于本体描述中，作为其他本体描 述语言 的基础．继 2002年 7月W3C提 出本体描述语言 知识表示在人工智能体的构建中起到关键的作用，常见 OWLE3]后，OWL—DI在 2004年成为国际通用的标准本体描 的知识表示方法可以归为三类：一阶谓词逻辑、产生式表示和 述语言，基于描述逻辑构建的本体数量也在不断增加．大多数 结构化表示．对于知识表示的研究集中在提供更高层次的外 现代描述逻辑系统都是以tableaux算法n为基础，相关优化 部世界描述方法，并利用这些方法有效的构建智能应用程序． 方法is]也得到了不断深入的研究． 智能是指从知识库中找到隐含知识的能力，其过程可理解为 2 描述逻辑概述 推理． 语义 Webill是万维网发 明人 TimBerners—Lee倡导的下 描述逻辑也称为术语逻辑