| 简单概念图与扩展描述逻辑ALC 的关系探讨 |
| |
| 引用本文： | 文斌,杨志荣,陈恳,甘健侯. 简单概念图与扩展描述逻辑ALC 的关系探讨[J]. 云南大学学报(自然科学版), 2007, 0(Z2) |
| |
| 作者姓名： | 文斌 杨志荣 陈恳 甘健侯 |
| |
| 作者单位： | 云南师范大学计算机科学与信息技术学院 云南昆明650092(文斌，甘健侯)，云南师范大学后勤集团 云南昆明650092(杨志荣，陈恳) |
| |
| 基金项目： | 云南省教育厅基金资助项目(6Y0031D)，云南省应用研究计划面上资助项目(2006F0029Q) |
| |
| 摘 要： | 首先介绍了描述逻辑ALC ,描述逻辑ALC 是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC 的语法和语义,概念图被制作是继承语义网络和框架系统特点的知识表示方式,而简单概念图是概念图中可判定的部分,然后探讨了描述逻辑ALC 与简单概念图的关系.
|
| 关 键 词： | 描述逻辑 ALC ALC 概念图 简单概念图 |
The discussion about the relation between the simple conceptual graphs and extensional description logics ALC |
| |
| WEN Bin,YANG Zhi-rong,CHEN Ken,GAN Jian-hou. The discussion about the relation between the simple conceptual graphs and extensional description logics ALC[J]. Journal of Yunnan University(Natural Sciences), 2007, 0(Z2) |
| |
| Authors: | WEN Bin YANG Zhi-rong CHEN Ken GAN Jian-hou |
| |
| Affiliation: | WEN Bin1,YANG Zhi-rong2,CHEN Ken2,GAN Jian-hou1 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
