描述逻辑(FL0)的包含推理及其保守扩充

摘要：

本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充.但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点.在Lutz等人研究的基础上探究(FL0)的保守扩充问题.首先构建了(FL0)的典范模型,将包含推理问题转换为典范模型的模拟问题;其次由典范模型之间的最大模拟是多项式时间复杂的,证明了(FL0)的包含推理是多项式时间复杂的;最后给出描述逻辑(FL0)的保守扩充及其判定算法,证明了(FL0)的保守扩充的判定算法是指数时间复杂的.

关键词：描述逻辑、典范模型、保守扩充、本体、包含推理

所属期刊栏目：52

分类号：TP301(计算技术、计算机技术)

资助基金：贵州省2013年度贵州省科技厅毕节市科技局毕节学院科技联合基金计划项目黔科合J字LKB[2013]23号;国家自然科学基金项目61103169;北京大学国家高性能计算重点实验室开放课题HCST201302

在线出版日期：2015-04-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：221-228