基于本体和描述逻辑的swrl推理研究

《基于本体和描述逻辑的swrl推理研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基于本体和描述逻辑的SWRL推理研究专业名称：计算机软件与理论申请人：初林洁指导教师：王驹教授论文答辩委员会委员：广西师范大学硕士研究生学位论文基于本体和描述逻辑的SWRL推理研究研究生姓名：初林洁导师姓名：王驹学科专业：计算机软件与理论研究方向：语义网年级：2011级摘要W曲是计算机时代来临的标志之一，W曲是互联网络最重要的、与普通用户最接近的运用，现在己成为人类获取信息及得到众多服务的主要渠道之一，但是Web并非完美，仍存在许多尚待解决的问题，比如Web信息无法被自动处理和有效利用、Web的服务发现、匹配、检索的查全率和查准率较低

2、。搜索时我们使用Web作为一个全球数据库。今天的搜索引擎无法搜索地更加精确。主要原因可能是当前的Web的结构和尺寸不允许使搜索更加精确和高效。可第二个原因不能被忽视：现在Web蕴含着巨大的文件数量，而且这个数量有每一年或两年翻一番的趋势。文件的机构和W曲自身可能也会以一种机器更容易处理的方式改变，所以我们使用语义网。1998年9月，Bemers—Lee首次提出了语义网的设想，语义网在技术上提供了信息的语义表示机制，其最终要实现知识层次上的信息共享和语义的互操作，所以想要管理共享知识就要以本体为指导。在语义网中，本体起到非常重要的作用，

3、它作为语义网信息组织的语义支撑，提供了明确定义语义的方式，为语义标记提供了词表。在本体中，有不少重要知识反而是隐性的，这引发对本体自身利用率不高的问题，所以推理出本体中隐含的知识成为了当今本体研究方面的热点。基于描述逻辑的知识表示系统能够完成特定种类的推理，知识表示系统的目的，超出了概念定义和判断的范围，知识库(包含TBox和ABox)中的语义，使得知识库和一阶谓词逻辑中的公式集合等价，这样，像其他的公式集合一样，知识库包含那些要通过表面的知识的推理才能得到的内涵的知识。描述逻辑系统所能使用的不同种类的推理被定义为逻辑推理，存在一个主

4、要的推理问题，叫作ABox的一致性检查，其他的推理都可以由它还原(reduce)出来。本体描述语言OWLDL(以描述逻辑为基础)能提供语言子集用于支持推理系统实现它的计算性能，却不能表达普通的规则。之前基于本体建立的推理系统只有以类别为基础附加关联性的推理能力，但对于If⋯Then这样的关系反而推理能力不够充足。为了解决以上问题，SWRL(语义网规则语言)被提出，通过本体结合规则的方式来提供更强大充分的知识表示能力和推理能力。SWRL(SemanticWebRuleLanguage)是一种基于OWL子语言(OWLDL和OWLLite)

5、与一元／--元数据记录RuleML的子语言结合而成的规则语言。SWRL允许用户自己根据OWL概念写可以被表达的规则，以此来提供比单独使用OWL更为强大的演绎推理T广西师范大学硕士研究生学位论文能力，从语义上SWRL与OWL是基于相同的描述逻辑基础。本文借鉴国内外的最新研究成果，使用SWRL规则，我们建立了一个家庭本体的推理机制，它将帮助我们推导出家庭本体中原本隐含的关系和知识，使得新本体在概念间的语义联系更加丰富。关键词：语义网：家庭本体：描述逻辑：SWRLII广西师范大学硕士研究生学位论文StudyofSWRLreasoningba

6、sedonontologyandDescriptionLogicAuthor：ChuLinjieTutor：WangJuMajor：ComputerSoftwareandTheoryResearchArea：SemanticWebGrade：201ABSTRACTWebisalandmarkoftheadventofcomputerandinformationtechnologyage，WebisthemostimportantandcommonapplicationoftheInternet，ithasbecomeoneofthem

7、ainchannelsforpeopletogetinformationandmanyservices．ButWebisnotperfect，therearestillmanyproblemstobesolved，suchastheWebinformationcannotbeprocessedautomaticallyandCannotbeeffectivelyused，Webservicediscovery，matching，retrievalrecallrateandprecisionislow．WhenweuseWebasagl

8、obaldatabasetosearchinformationandknowledge，today’Ssearchenginescannotsearchmoreaccurately．Themainreasonmaybet