本体通用模块的外部语言的扩充机制--理论及其应用的分析.pdfVIP

本体通用模块的外部语言的扩充机制一一 理论及应用研究 专业名称：计算机科学与技术 申请人：廖长美 指导教师：王驹教授 论文答辩委员会 主席避 委员： 銎辨 椭删M…㈣删…一脚、螂燃 硕士研究生：廖长美 导师：王驹教授 专业：计算机科学与技术 研究方向： 本体及描述逻辑年级：2012级 摘要 本体的设计，维护和整合都是高度复杂的任务，尤其是形式化了的本体。像 软件工程一样，本体领域中也引入了“模块”的概念，来支持本体的重用和本体 的整合等一些需要。但在执行这些操作之后，应该确保新的结果本体是原来本体 的保守扩充，这一点是非常重要的。 在本文中，我们主要专注于利用“通用模块”来支持本体的部分重用。给定 一个本体Q，我们要从这个外部本体中获取一个我们需要的小片段Q】，这个小 片段就是我们说的“通用模块”。并且应确保该模块用于其他本体后，不能引起 cuenca horrocks等多位学者对 原有本体产生新的逻辑结果。bemardograu和lau 本体的模块化和模块的提取做了重要贡献，给出了模块化的方法。本文在此基础 上，对通用模块做了深入研究，首次提出“TBox通用模块+ABox通用模块=通 用模块”的想法。 文章的主要工作内容和研究成果总结如下： (1)讨论了本体的模块、内部性概念和本体的模块化，并在此基础上给出通 用模块的概念。接着又给出了一个提取通用模块的算法，并用一个实际的例 子来进一步应用这个算法。 陀)给出了ABox的模块的提取，在此基础上，完善通用模块的定义，实现 “TBox通用模块+ABox通用模块=通用模块”的想法。然后探讨了 TBox+ABox的保守扩充，以及KB模块的抽取和模块的整合。并在此基础 上探讨了建立面向一类知识库LJJ的升级版的通用模块，设置其接口语言。 关键词：本体；通用模块：扩充 intheExternal of UniversalmoduIe—— Extensions LanguageOntology and Research TheoryApplication Liao Professor Wang Postgraduate：ChangmeiSupervisor：Ju Scienceand Researchfield：Mathematical Technology Logic Major：Computer Grade：2012 ABSTRACT The and of are tasks， design，maintenanceintegrationontologyhighlycomplex theformalizationofthe inthefieldofsoftware especially ontology．As