文献类型：期刊文章

作　　者：曹发生[1] 余泉[2] 王驹[3] 蒋运承[3]

机构地区：[1]毕节学院逻辑与应用逻辑研究所 [2]黔南民族师范学院数学系 [3]广西师范大学计算机科学与信息工程学院,广西桂林541004

出　　处：《计算机学报》

基　　金：国家自然科学基金(60573010,60663001);广西自然科学基金(桂科自0447032);广西青年科学基金(桂科青0640030)资助

年　　份：2008

卷　　号：31

期　　号：1

起止页码：16-23

语　　种：中文

收录情况：BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20081011136255)、INSPEC、JST、MR、SCOPUS、ZGKJHX、核心刊

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

关 键 词：循环ALCN—Tbox  NAME SYMBOL 最小不动点模型  最大不动点模型  Tbox单调  

分 类 号：TP301]