|
|||||
|
|
| 循环ALCN-Tbox的模型构造 | |
| 引用本文： | 余泉,甘晓丽,王驹.循环ALCN-Tbox的模型构造[J].广西师范大学学报(自然科学版),2008,26(1):34-37. |
| 作者姓名： | 余泉 甘晓丽 王驹 |
| 作者单位： | 1. 广西师范大学,数学科学学院,广西,桂林,541004 2. 桂林电子科技大学,计算机科学与数学系,广西,桂林,541004 3. 广西师范大学,计算机科学与信息工程学院,广西,桂林,541004 |
| 基金项目： | 国家自然科学基金 , 广西自然科学基金 , 广西青年科学基金 |
| 摘 要： | 从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难，然后主要讨论了没有┐、∏、∪、出现的，关系R的深度均为1的循环ALCN—Tbox的模型构造方法。 |
| 关 键 词： | 描述逻辑 循环的ALCN—Tbox 模型 |
| 文章编号： | 1001-6600(2008)01-0034-04 |
| 修稿时间： | 2007年6月30日 |
Model Construction for Cyclic Tbox of ALCN |
|
| YU Quan,GAN Xiao-li,WANG Ju.Model Construction for Cyclic Tbox of ALCN[J].Journal of Guangxi Normal University(Natural Science Edition),2008,26(1):34-37. | |
| Authors: | YU Quan GAN Xiao-li WANG Ju |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |