描述逻辑ε(VL)的保守扩充

• 作者: 余泉 张维 申宇铭 聂登国
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 描述逻辑 典范模型 保守扩充 本体
• 年，卷（期）: 2016,（z1）
• 所属期刊栏目: 智能计算
• 页码范围: 83-86,115
• 页数: 5页
• 分类号: TP301
• 字数: 7596字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	聂登国	贵州工程应用技术学院理学院	5	11	2.0	3.0
2	申宇铭	广东外语外贸大学思科信息学院	6	21	3.0	4.0