Deductive method with Sample Problems on Computational Object Knowledge Base and construct to intelligent educational softwares

In computer science and information technology, ontology has been researched and developed in application for knowledge representation. Ontology COKB-ONT (Computational Object Knowledge Base) is an ontology was researched and applied in designing knowledge base systems, such as domain of knowledge about analytic geometry, linear algebra. However, when dealing with a practical problem, we often do not immediately find a new solution, but we search related problems which have been solved before and then proposing an appropriate solution for the problem. In this paper, the extension model of ontology COKB-ONT has been presented. In this model, Sample Problems, which are related problems, will be used like the experience of human about practical problem, simulate the way of human thinking about finding solution of problem. This extension model is applied to construct a program for solving plane geometry problems in middle school.