| 描述逻辑的非标准推理及其应用 |
| |
| 引用本文： | 张银平,刘磊. 描述逻辑的非标准推理及其应用[J]. 吉林大学学报(理学版), 2007, 45(5): 800-804 |
| |
| 作者姓名： | 张银平 刘磊 |
| |
| 作者单位： | 吉林大学,计算机科学与技术学院,长春,130012;吉林大学,计算机科学与技术学院,长春,130012 |
| |
| 摘 要： | 用描述逻辑中的两种非标准推理[CD2]概念收缩和概念诱导, 分别扩展了可满足性问题和包含问题, 以解决供应与需求的匹配问题, 并提出了改进的排序算法以及有助于完善供需双方资源和需求描述的算法. 结果表明, 改进后的排序算法有利于供需双方的交互, 并且能够尽快排除因为严格特性而部分匹配的供应和需求, 从而加快算法的运行速度.
|
| 关 键 词： | 描述逻辑 概念收缩 概念诱导 |
| 文章编号： | 1671-5489（2007）05-0800-05 |
| 收稿时间： | 2006-10-30 |
| 修稿时间： | 2006-10-30 |
Non-standard Inferences of Description Logic and Application |
| |
| ZHANG Yin-ping,LIU Lei. Non-standard Inferences of Description Logic and Application[J]. Journal of Jilin University: Sci Ed, 2007, 45(5): 800-804 |
| |
| Authors: | ZHANG Yin-ping LIU Lei |
| |
| Affiliation: | College of Computer Science and Technology, Jilin University, Changchun 130012, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《吉林大学学报(理学版)》下载全文 |
|
