本体推理中组合推理机制的研究信号与信息处理专业论文.docxVIP

西南交通大学硕士学位论文主要工作(贡献)声明本人在学位论文中所做的主要工作或贡献如下： 西南交通大学硕士学位论文主要工作(贡献)声明 本人在学位论文中所做的主要工作或贡献如下： (1)研究了现有的推理机Pellet和Jena的运行机制。对推理机相应的 推理算法Tableaux和Rete进行了研究。针对Pellet和Jena对Tbox和Abox 推理的不同特点进行了分析。并结合它们的特点构建了组合推理模型，改 善了现有推理机的性能。 (2)在推理过程中，对于Tbox使用了Pellet推理机基于描述逻辑的 方法进行推理。并且通过Tbox中的数据对混合规则进行了实例化。对Abox 规则进行了归并等优化处理，减少了推理过程中的重复计算，提升了推理 效率。对于不需要更改本体数据的情况采用了一种规则动态提取的方式， 减少了无关的计算。 (3)根据抽取整理之后的百科数据，构建了一个人物类的本体。并通 过本文的组合推理机对其实现了推理及查询等，验证了本文推理机的有效 性。 本人郑重声明：所呈交的学位论文，是在导师指导下独立进行研究工作所 得的成果。除文中已经注明引用的内容外，本论文不包含任何其他个人或集体 已经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集体，均已在 文中作了明确说明。本人完全了解违反上述声明所引起的一切法律责任将由本 人承担。 学位论文作者签名：彳羡天客儿 日期：弘肜．7，侈 万方数据 西南交通大学硕士研究生学位论文 西南交通大学硕士研究生学位论文 第1页 摘 要 随着互联网的飞速发展，网络上的数据也出现了爆发式增长，在带给人们 方便的同时，也使得人们获取有效的知识变得越来越难。本体作为一种对知识 的有效管理及应用方法开始被广泛地应用到各个领域，但是构建的本体中会存 在隐性知识。推理机可以很方便的对于本体中的隐性知识进行显化。目前常用 的推理机都是通过描述逻辑推理算法或者规则推理算法来实现对整个本体的 推理，本体中的Abox部分通过描述逻辑推理时，需要考虑整个实例层的情况， 效率较低，并且在对于隐性知识显化方面，描述逻辑几乎不能实现。Tbox部 分通过规则推理时，无法保证推理的完备性。 针对以上情况，本文研究了现有推理机的推理算法和特点，并分析了推理 机在本体推理中的性能，通过构建组合推理模型来扩展了推理机的功能，提升 了推理的效率。主要完成的工作有：讨论了本体论及知识推理方面的研究成果， 研究了本体知识推理的机制和实现技术。比较分析了目前常用的通用和专用推 理机的特点，并根据推理机的特点构建了组合推理模型。在进行推理的过程中， 通过OWL API实现了本体中Tbox和Abox的分离。对于Tbox部分采用了Pellet 进行推理，对于Abox部分将相应本体公理改写为实例化的规则后采用了Jena 进行推理。在推理的过程中通过对本体推理规则的归并操作进行了优化，提升 了推理的效率。分析比较了现有的本体构建方法，并通过Prot696实现了本体 的构建，并且，根据构建的本体的特点，定义了一部分推理规则。 最后，通过实验验证了组合推理机的性能。并结合构建的本体实现了一个 本体的推理查询系统。通过该系统可以实现对本体中的概念和实例的查询。并 且通过自定义规则，能够获取其中的隐性知识。 关键词：本体；本体推理；推理机；Jena；Pellet 万方数据 西南交通大学硕士研究生学位论文 西南交通大学硕士研究生学位论文 第1I页 Ab stract With the rapid development of Internet，the data on the network iS also exploding．There are many conveniences brought to people．At the same time it becomes more difficult to obtain effective knowledge．As a kind of effective management and application method for knowledge，ontology is widely applied in various fields．However，there are a lot of implicit knowledge included in the ontology．And reasoning machine can be very convenient for acquiring the knowledge hidden in ontology．At present，the reasoner is usually used to implement the reasoning of