| 动态描述逻辑的可拓集合扩展 |
| |
| 引用本文： | 王静 张健沛 杨静 程丽丽. 动态描述逻辑的可拓集合扩展[J]. 计算机科学, 2009, 36(3): 150-152 |
| |
| 作者姓名： | 王静 张健沛 杨静 程丽丽 |
| |
| 作者单位： | 哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001 |
| |
| 基金项目： | 国家自然科学基金，黑龙江省自然科学基金，东西分析学术创新奖学金资助项目 |
| |
| 摘 要： | 通过对可拓集合与经典集合、模糊集合的分析比较,说明可拓集合的特点和优点,用可拓集合代替经典集合或模糊集合作为动态描述逻辑DDL的集合论基础,对DDL进行扩展,生成了一种新的描述逻辑DDES,并给出了DDLES中概念、关系和实例的描述形式以及它们的语义解释,最后对传统描述逻辑ALC、模糊DDL和DDES中的Abox形式进行了比较.
|
| 关 键 词： | 可拓集合 动态描述逻辑 经典集合 模糊集合 |
| 收稿时间： | 2008-04-28 |
Extension of Dynamic Description Logic Based on Extension Set |
| |
| WANG Jing,ZHANG Jian-pei,YANG Jing,CHENG Li-li (School of Computer Science and Technology,Harbin Engineering University,Harbin,China. Extension of Dynamic Description Logic Based on Extension Set[J]. Computer Science, 2009, 36(3): 150-152 |
| |
| Authors: | WANG Jing ZHANG Jian-pei YANG Jing CHENG Li-li (School of Computer Science Technology Harbin Engineering University Harbin China |
| |
| Affiliation: | School of Computer Science and Technology;Harbin Engineering University;Harbin 150001;China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
