描述逻辑的非标准推理及其应用

描述逻辑的非标准推理及其应用

张银平, 刘磊

吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2006-10-30 修回日期:1900-01-01 出版日期:2007-09-26 发布日期:2007-09-26
通讯作者: 刘磊

Nonstandard Inferences of Description Logic and Application

ZHANG Yinping, LIU Lei

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2006-10-30 Revised:1900-01-01 Online:2007-09-26 Published:2007-09-26
Contact: LIU Lei

摘要/Abstract

摘要： 用描述逻辑中的两种非标准推理[CD2]概念收缩和概念诱导, 分别扩展了可满足性问题和包含问题, 以解决供应与需求的匹配问题, 并提出了改进的排序算法以及有助于完善供需双方资源和需求描述的算法. 结果表明, 改进后的排序算法有利于供需双方的交互, 并且能够尽快排除因为严格特性而部分匹配的供应和需求, 从而加快算法的运行速度.

关键词: 描述逻辑, 概念收缩, 概念诱导

Abstract: Two nonstandard inferences in description logic concept contraction and concept abduction, which respectively extend satisfiability and subsumption, were used to solve matching problem between supplies and demands. The improved rank algorithm and the algorithm which helps to perfect the resource and requirement descriptions of suppliers and demanders were proposed. The improved rank algorithm favors the interaction of suppliers and demanders, exclu des the partially matched supplies and demands for strict constraintsas soon as possible, consequently quickens the execution speed of the algorithm.

Key words: description logic, concept contraction, concept abduction

中图分类号:

TP311

张银平, 刘磊. 描述逻辑的非标准推理及其应用[J]. J4, 2007, 45(05): 800-804.

ZHANG Yinping, LIU Lei. Nonstandard Inferences of Description Logic and Application[J]. J4, 2007, 45(05): 800-804.

[1]	尚晋, 张睿, 吕帅, 刘磊. 基于依赖关系图模型的本体演化影响分析[J]. J4, 2012, 50(01): 89-94.
[2]	王淞昕. 基于描述逻辑的图像检索框架[J]. J4, 2010, 48(02): 265-269.
[3]	王淞昕. 能处理分层信度知识的描述逻辑PB-SHOIN(D)[J]. J4, 2008, 46(02): 286-290.
[4]	刘磊, 宋雅娟, 张银平. 一种基于描述逻辑的Web服务动态组合算法[J]. J4, 2008, 46(02): 259-264.