|
|||||
|
|
| 循环ALCN-Tbox具有模型的条件 | |
| 引用本文： | 曹发生,余泉,王驹,蒋运承.循环ALCN-Tbox具有模型的条件[J].计算机学报,2008,31(1):16-23. |
| 作者姓名： | 曹发生 余泉 王驹 蒋运承 |
| 作者单位： | 1. 毕节学院逻辑与应用逻辑研究所,贵州,毕节,551700;广西师范大学数学科学学院,广西,桂林,541004 2. 黔南民族师范学院数学系,贵州,都匀,558000;广西师范大学数学科学学院,广西,桂林,541004 3. 广西师范大学计算机科学与信息工程学院,广西,桂林,541004 |
| 基金项目： | 国家自然科学基金(60573010,60663001)，广西自然科学基金(桂科自0447032)，广西青年科学基金(桂科青0640030)资助 |
| 摘 要： | 分析了带循环定义的描述逻辑系统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单调 |
| 收稿时间： | 2006-10-20 |
| 修稿时间： | 2007-09-02 |
Condition of Cyclic ALCN-Tbox Exists Model |
|
| CAO Fa-Sheng,YU Quan,WANG Ju,JIANG Yun-Cheng.Condition of Cyclic ALCN-Tbox Exists Model[J].Chinese Journal of Computers,2008,31(1):16-23. | |
| Authors: | CAO Fa-Sheng YU Quan WANG Ju JIANG Yun-Cheng |
| Abstract: | |
| Keywords: | cyclic ALCN-Tbox name symbol lfp-model gfp-model Tbox monotone |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |