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

Non-standard Inferences of Description Logic and Application

作　　者：张银平[1] 刘磊[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012

出　　处：《吉林大学学报（理学版）》2007年第5期800-804,共5页Journal of Jilin University:Science Edition

基　　金：吉林省科技发展计划项目基金(批准号:20050527)

摘　　要：用描述逻辑中的两种非标准推理概念收缩和概念诱导,分别扩展了可满足性问题和包含问题,以解决供应与需求的匹配问题,并提出了改进的排序算法以及有助于完善供需双方资源和需求描述的算法.结果表明,改进后的排序算法有利于供需双方的交互,并且能够尽快排除因为严格特性而部分匹配的供应和需求,从而加快算法的运行速度.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, excludes the partially matched supplies and demands for strict constraints as soon as possible, consequently quickens the execution speed of the algorithm.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]