描述逻辑εL循环术语集的保守扩充

• 作者: 王勇红 王驹 申宇铭 聂登国
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 本体 描述逻辑 循环术语集 保守扩充
• 年，卷（期）: 2017,（z2）
• 所属期刊栏目: 智能计算
• 页码范围: 136-140,147
• 页数: 6页
• 分类号: TP181
• 字数: 7896字
• 语种: 中文

摘要

在计算机科学中,本体是动态的实体.为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合.在本体的开发过程中,用户根据不同的需求和应用领域选择合适的本体导入另一个本体,从而实现对已建本体的扩充.判定扩充后的本体是否是扩充前本体的保守扩充是非常重要的.如果扩充后的本体不是扩充前本体的保守扩充,那么用户使用扩充后的本体将产生不可预知的影响.Lutz等研究了描述逻辑εL的保守扩充问题,并且论证了εL的保守扩充是指数时间完全的.在Lutz等人的研究基础上研究了描述逻辑循环术语集的保守扩充问题.首先,给出了循环术语集在最大不动点语义下的保守扩充的充分条件是两个TBox具有相同的原始概念,并论证了该算法是多项式时间复杂的.其次,给出最大不动点模型来处理循环术语集的保守扩充,并论证了该算法是指数时间复杂的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王勇红	江西师范高等专科学校数学与信息技术学院	6	3	1.0	1.0
2	聂登国	贵州工程应用技术学院理学院	5	11	2.0	3.0
3	申宇铭	广东外语外贸大学思科信息学院	6	21	3.0	4.0
4	王驹	桂林电子科技大学广西可信软件重点实验室	2	2	1.0	1.0