-
题名描述逻辑FL_0的包含推理及其保守扩充
被引量：5
- 1
-
-
作者
聂登国
康旺强
曹发生
王驹
-
机构
贵州工程应用技术学院理学院
广西师范大学漓江学院
广西师范大学计算机科学与信息工程学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第1期221-228,共8页
-
基金
贵州省2013年度贵州省科技厅毕节市科技局毕节学院科技联合基金计划项目(黔科合J字LKB[2013]23号)
国家自然科学基金项目(61103169)
北京大学国家高性能计算重点实验室开放课题(HCST201302)
-
文摘
本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充.但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点.在Lutz等人研究的基础上探究的保守扩充问题.首先构建了的典范模型,将包含推理问题转换为典范模型的模拟问题;其次由典范模型之间的最大模拟是多项式时间复杂的,证明了的包含推理是多项式时间复杂的;最后给出描述逻辑的保守扩充及其判定算法,证明了的保守扩充的判定算法是指数时间复杂的.
-
关键词
描述逻辑
典范模型
保守扩充
本体
包含推理
-
Keywords
description logic
canonical model
conservative expansion
ontology
contain reasoning
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名描述逻辑FL0循环术语集的保守扩充
- 2
-
-
作者
聂登国
王勇红
-
机构
贵州工程应用技术学院理学院
江西师范高等专科学校数学学院
-
出处
《贵州工程应用技术学院学报》
2019年第3期20-24,共5页
-
基金
2017年贵州省教育厅普通高校学校青年科技人才成长项目“轻量级描述逻辑循环术语集的保守扩充研究”,项目编号:黔教合KY字[2017]293
-
文摘
本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点。卢茨(Lutz)等提出的典范模型(CanonicalModel)方法解决了非循环描述逻辑EL的保守扩充问题。研究了描述逻辑FL0的术语集的保守扩充问题,给出描述逻辑FL0循环术语集在最大不动点模型下的保守扩充算法。
-
关键词
保守扩充
描述逻辑
本体
包含推理
-
Keywords
Conservative Expansion
Description Logic
Ontology
contain reasoning
-
分类号
B81
[哲学宗教—逻辑学]
-
