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