关键词: 本体, 需求获取, 框架, 一阶谓词逻辑

Abstract:

In this paper, a method of requirement capture and representation was proposed - based on the domain ontology knowledge. The main character of this method is by way of chief tools of formal requirement by using frame. That is to say, to constitute the ontology model which is to represent its semantic by abstracting semantic information of requirement resources. This method will enhance the expression ability and also make up the knowledge of reasoning ability of object-oriented method.

Key words: ontology, requirement capture, frame, a first-order predicate