Research On Semantic Analysis Of Programming Problem Statements Based On Ontology

Unclear description of semantic problems exists in Programming is a hot issue. For example, the ambiguous concept, the lost concept instance, semantic integrity of problem is difficult to distinguish and so on. This paper proposed a method based on ontology in order to solve this problem combined with the ontological theory and related technology.Firstly, the paper extracts the implicit functional relationship from the description of the problem. The problem function is the foremost internal structure of programming problem and is significant for the Ontology Modeling of problem. Through a comparative analysis of the particularity of problem function, we point out that the elements of the definitional domain and range have the structural characteristics. Problem variables are classified according to the Ontological approach and decomposed into the smallest atomic member variable, and then we get the detailed Ontology model diagram. The paper summarizes the 28 most frequently-used constraints which are the important components of the problem internal structure. We determine the relationships among the problem function types and constraints and the variables through the analyze and conclude the basic type of problem function.Secondly, the key point of the research is ontology model of problem, including the problem concept ontology model and problem format ontology model. This is the basic of problem semantization.The problem concept ontology model is the ontology model constructing the problem according to the logic relationship between concepts in the problem, and emphasizes the data and structure; Problem format ontology model is the ontology model according to the problem form. The problem concept ontology model is the data source of format ontology model which is a way of existence for concept ontology model. Semantic programming problem signifies the problem ontology model through the meta-data format on a computer and constraints the problem semantics according to the meta-data.Finally, we propose the problemsetter design based on ontology and research the generate principle of the multi-language problem. The problemsetter based on ontology can "read" the Problem meanning,and then checks that whether the semantic concept is missing and whether meets the internal structure relationship of problems according to semantic point of the problem concept,item structure,constraints relationship that pre-defined. It provides the feedback information to the designer, makes the computer help people to complete the related work of ACM problem. At last, the paper researches the theoretical feasibility about generating the multi-language problem.