Geometric Process Ontology Construction And Its Application Research

With the rapid development of computer technology, Computer Based Education has become an important form of education in the information age. Because educational resources in the educational systems lack of uniform standardization, some resources in the network which are same or similar can not be shared or reused. However, the best advantage of ontology is that the concepts and terns of the field can be standardized. Therefore, to describe educational resource using ontology technology can radically solve the problems about reusing and sharing resource.Most of ontology documents are constructed manually nowadays, and nine tenths of them are structural and static. In recent years, more and more people started to research on semiautomatic construction on domain ontology and dynamic ontology. On this basis, this thesis presented a semi-automatic construction method of process ontology based on plane geometry. According to the normative characteristics of description and structure of geometric proofs, the method uses information extraction technology to analyze the certification process of geometric proof, and extract an abstract model and instance model from every logical segment of the process automatically, then store new models into the ontology or consummate the models which already exist in the ontology.This thesis also proposed a research on solving praxis automatically based on the process ontology. According to the known conditions of praxis, to uses the positive sequence to acquire a conclusion by querying the models of ontology. The conclusion can be a new known condition and then query the process ontology whether it can get other conclusions, until the final conclusion of praxis is got. Then the purpose of solving praxis automatically based on process ontology would be achieved.In the end, this thesis used some experiments to simulate the construction process and improvement process of process ontology, and the process ontology was successfully applied to solve praxis automatically. The experiments show that the abstract models of process ontology showed theorems’structural relationship and order relationship, and instance models recorded detail relationship among individuals; further, process ontology provides a new approach for the realization of solving praxis automatically.