作　　者： ; ;

机构地区： 中山大学信息科学与技术学院

出　　处： 《Journal of Southeast University(English Edition)》 2006年第3期357-360,共4页

摘　　要： 为了使Prolog推理引擎可以从一定程度的语义上来区分子句,通过概念图的形式对Prolog程序的子句建立本体.子句本体的概念模型通过其谓词参数和头子目标来建立,而头子目标是指出现在规则体首部并且位于任何谓词调用之前的子目标集合.所提出的方法把一个Prolog程序转换成包含其子句本体的Prolog+CG程序.实验表明,通过对Prolog子句建立本体,可以尽早地去除与当前目标明显不匹配的子句,从而使得目标求解树的规模减小.在概念图的描述形式下,子句本体使得Prolog程序的语义更清晰可读,在某些情况下能明显加快程序的求解过程. A method is proposed to build an ontology in the form of a conceptual graph for Prolog clauses, so that the Prolog reasoning engine can differentiate clauses semantically to some degree. The concept model of a clauses ontology is composed of predicate parameters and head sub-goals, and these sub-goals appear in the head of the rule body and precede any predicate calls. In the proposed method, a Prolog program can be transformed into a Prolog ＋ CG program that includes a clauses ontology. Some experiments show that, with a clauses ontology, some clauses which do not match current goals are not considered early enough, and, therefore, the size of the goal solution tree may be reduced. By the capability of conceptual graph, a clauses ontology makes the semantics of the Prolog program more clear and readable, and sometimes it speeds up the solution process obviously.

关 键 词： 本体 子句 概念图

领　　域： [自动化与计算机技术] [自动化与计算机技术]