描述逻辑ε(VL)的保守扩充
在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充,但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点.在Lutz等人研究的基础上探究ε(VL)的保守扩充问题,构建了ε(VL)的典范模型,将包含推理问题转换为典范模型的模拟问题;由典范模型之间的最大模拟是多项式时间复杂的,证明了ε(VL)的包含推理是多项式时间复杂的;给出了描述逻辑ε(VL)的保守扩充及其判定算法,证明了ε(VL)的保守扩充的判定算法是指数时间复杂的.
描述逻辑、典范模型、保守扩充、本体
43
TP301(计算技术、计算机技术)
贵州省2013年度贵州省科技厅、毕节市科技局、毕节学院科技联合基金计划项目黔科合J字LKB[2013]23号;贵州省科学技术基金资助项目黔科合J字[2012]2310;国家自然科学基金项目61463044;广西可信软件重点实验室研究课题kx201330
2016-08-30(万方平台首次上网日期,不代表论文的发表时间)
共5页
83-86,115