描述逻辑FL_0的包含推理及其保守扩充

作     者：聂登国 康旺强 曹发生 王驹 Nie Dengguo;Kang Wangqiang;Cao Fasheng;Wang Ju

作者机构：贵州工程应用技术学院理学院贵州毕节551700 广西师范大学漓江学院广西桂林541004 广西师范大学计算机科学与信息工程学院广西桂林541004 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2015年第52卷第1期

页      面：221-228页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：描述逻辑 典范模型 保守扩充 本体 包含推理 

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