论文部分内容阅读
分析了带循环定义的描述逻辑系统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具有不动点模型（最小不动点模型和最大不动点模型）的条件．