循环ALCN-Tbox具有模型的条件

• 作者: 余泉 曹发生 王驹 蒋运承
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 循环ALCN-Tbox name symbol 最小不动点模型 最大不动点模型 Tbox单调
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 16-23
• 页数: 8页
• 分类号: TP301
• 字数: 9023字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2008.01.002

摘要

分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(Let T be a terminology such that each cycle in GT contains an even number of negative arcs.Then T is monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
2	蒋运承	广西师范大学计算机科学与信息工程学院	44	591	15.0	23.0
3	曹发生	毕节学院逻辑与应用逻辑研究所	13	42	4.0	6.0