Research on the completeness of Pangu knowledge base

The completeness of a knowledge base means it should include enough knowledge so that an inference engine can run on it freely. Under Prof. Ruqian Lu´s lead, our research group has been building a large scaled common knowledge base called Pangu, which is well organized according to the principle of modularization. Therefore, Pangu´s completeness comprises two parts: the completeness of inter-module and the completeness of inner-module. This paper, however, will only focus on the completeness of inter-module. Firstly, some definitions of the completeness of Pangu knowledge base are presented. Furthermore, we advance the completeness of axiomization and provide nine axioms. At last, some alternate methods also are proposed, which are validated by a great deal of experiments, to check the completeness of conceptual definitions.