基于描述逻辑推理的本体构建方法.pdfVIP

计 算 机 与 现 代 化 2013年第9期 JISUANJIYUXIANDAIHUA 总第217期 文章编号：1006-2475(2013)09-0013-05 基于描述逻辑推理的本体构建方法 朱 丽 ，杨 青 (1．武汉音乐学院公共基础课部，湖北 武汉 430060；2．华中师范大学计算机科学系，湖北 武汉 430079) 摘要：本体是语义网中知识重现和信息检索查询的研究热点，而作为本体描述语言基础的描述逻辑则是知识表示和推理 的形式化工具，具有强大的表达能力和高效完备的推理服务机制，被广泛应用于人工智能、数据库、信息协 同系统和知识 管理等诸多领域。本文深入研究描述逻辑理论和推理机制，提 出一种改进 Tableaux—RALU推理算法，并在 图书本体构建 中验证了描述逻辑推理机制的实用性。 关键词：描述逻辑；推理机制；本体构建 中图分类号：TP18 文献标识码：A doi：10．3969／j．issn．1006-2475．2013．09．003 OntologyConstructionM ethodBasedonDescriptionLogicReasoning ZHULi，YANGQing (1．DepartmentofPublicBasicCourses，WuhanConservatoryofMusic，Wuhan430060，China； 2．DepartmentofComputerScience，CentralChinaNormalUniversity，Wuhan430079，China) Abstract：Ontologyisbecomingoneoftheimportantresearchpointsin theareaofsemantic Web。whichisenabletofulfill knowledgeappearnace，informationretrieva1．And asthebasisofontoloyg descriptionlanguage，descriptionlogicisthefomr al toolofknowledgerepresentation and reasoning，providingstrongcapba ilitiesofrepresentationandeffectivereasoning service mechanism ，whichhasbeenextensivelyappliedtovariousfieldsofcomputescience，suchasartificialintelligence，datbaase，in- fomr ationcollbaorationsystem andknowledgemanagement．Thispaperdetailedlystudiesthetheoryofdescription logicandits reasoningmechanism ，proposesanewalgorithm namedTbaleaux-RALU ，andfinallyverifiesthepracticalreasoninginhteprocess of theconcreteontoloyg construction． Keywords：descriptionlogic；reasoningmechanism ；ontologyconsturction 的局限性，孙小林 对其进行了模糊扩展，提出了2． 0 引 言 型模糊描述逻辑概念；在应用方面，因其具有严格语 描述逻辑起源于20世纪70年代的知识表示形 义基础，有效的概念分层处理以及高效的推理机制的 式语义网络和框架，以及一阶谓词逻辑，是一种知识