Method of creating ontologies for Prolog clauses

摘要

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.