《计算机学报》文章摘要   全文下载
文章题目	循环ALCN-Tbox具有模型的条件
作者	曹发生1),3) 余泉2),3) 王驹4) 蒋运承4)
作者单位	1)(毕节学院逻辑与应用逻辑研究所 贵州 毕节 551700) 2)(黔南民族师范学院数学系 贵州 都匀 558000) 3)(广西师范大学数学科学学院 广西 桂林 541004) 4)(广西师范大学计算机科学与信息工程学院 广西 桂林 541004)
发表年份	2008
发表月份	1期(16—23)
文章摘要	摘要 分析了带循环定义的描述逻辑系统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具有不动点模型(最小不动点模型和最大不动点模型)的条件. 关键词：循环ALCN-Tbox;name symbol;最小不动点模型;最大不动点模型;Tbox单调