基于Tbox与Abox的描述逻辑推理研究.pdfVIP

^ ● 一 ‘ 第 20卷．第 l1期 计 算 机 技 术 与 发 展 VO】．20 N0．11 2010年 11月 o0MPI』1 R TECHNoLoGY AND DEVE[X3PMENT Nov． 2010 基于Tbox和 Abox的描述逻辑推理研究 张灵峰 ，夏战锋2，彭志平 (1．茂名学院 实验教学部，广东茂名 525000； 2．江苏科技大学 计算机科学与工程学院，江苏 镇江 212003) 摘 要 ：语义weI】的出现使得描述逻辑(DescAptionLogic)成为研究的热点。它是近年来研究和发展最快的知识表示的形 式化工具之～，具有强大的表达能力、可判定性以及有效推理等优点，其中推理服务是它的核心。首先重点讨论基于TLK)x 和A上x)x的推理任务；其次，详细阐述各算法以及相互间内在联系；最后，得出描述逻辑的所有推理都可以转化为基于Abox 的一致性检测问题，并给出其算法及实现过程 。在语义Web环境下，描述逻辑的推理服务可以提高机器的理解能力，实现 机器完全 自主化 。 关键词 ：描述逻辑；Tbox推理；Ab0x推理；可满足性 ；一致性 中图分类号：TP31 文献标识码：A 文章编号 ：1673—629X(2010)11—0122一O4 ResearchonDescriptionLogic’SReasoningBasedonTboxandAbox ZHANG Ling—feng ，XIA Zhan—fei ，PENG Zhi—ping (1．DepartmentofExperimentalTeaching，MaomingUniversity，Maoming525000，China； 2．CollegeofComputerScienceandEngineering，JiangsuUniversityofSc ienceandTechnology， Zhenjiang212003。China) Abstract：TheappearanceofsemanticWebmakesde~riptionlogicisahotreesarchpoint．Itisoneofformaltoolsf。rknowledgerepre一 ~ntationwhichisstudieelanddevelopedrapidlyinrecentyears．Ithasnaau~yadvantagessuchasexpressivecapabilityna ddecidabilitynad effectivereasoning，especiallyresori／ng ’sservicesisct)re．Firstly，thetaskofreasoning haseJ【on11)c_】XnadAboxisdiscussed；Then，ev— eryalgorithm ofreaosning ir】dtheinternalrelationshipofeachotherisspecificallydescribed；Finally，alldescriptionlog icreosning could betransformedintotheproblemofconsistencycheckbasedonAboxisob