Research On Ontological Knowledge Bases Using Closed World Assumption

As the developing of the computer science and the logics, the concept of ontological model based on Description Logics and the ontological knowledge bases based on this model appears. The knowledge bases, which are inspired by the database of the computer science, can store vast amounts of knowledge as data, and have the abilities of finishing knowledge inquiries and doing knowledge reasoning. Knowledge reasoning is for gaining more knowledge in order to better fulfill the functions of inquiries, the inference ability is the main difference between knowledge bases and databases. There are many different ways which can be used on the extension of knowledge in ontological knowledge bases, and this is a topic worth exploring. Considering the importance of the knowledge expansion for the development of human society, providing methods of expanding knowledge and exploring. knowledge reasoning process is undoubtedly very important. Closed World Assumption used in expanding the predicate logic clauses can also be taken into the ontological knowledge bases to finish the knowledge expansion there. This article will try to do this job, and offer the algorithm and steps of the process by calculating examples, and reveals its significance. Introducing the Closed World Assumption into the ontological knowledge bases is an entirely new experience, this article provides a starting point, uses only small examples, mainly focus on the mathematics level, hopefully it can be a useful material for future researches and development in this field for reference.