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

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