求翻译：检验模块Checker，处理dl-atom的添加本体操作。然后，对完备化中的描述逻辑原子，逐个调用外部工具RacerPro_1.9.0检验其赋值一致性。若都是一致的，则检验通过；若存在任意一个不一致，则检验不通过，需要写入当前M的非再重新求解。是什么意思？

The test module checker, add processing dl - atom of the body operating. Then, on the completion of the description logic atoms, one by one to call external tools racerpro_1.9.0 test its assignment consistency. Are consistent, then the tests have been passed; if there is any inconsistency, can not b

Verify that the module Checker DL-atom to deal with the added body. And then, to complete the Description logic atoms, one by one and calls an external tool RacerPro 1.9 .0test its value. If it is the same, and the survey through; if there is any one is not consistent, the examination is not passed,

正在翻译，请等待...

Test module Checker, DL-Atom adds a bulk operation. Then, complete description of logical atoms, calling external tools RacerPro_1.9.0 individually assign values to test its consistency. If it is the same, the inspection by; if there are any inconsistencies, the test does not pass, you need to write

Examination module Checker, processes dl-atom the increase main body to operate.Then, to the complete description logic atom, transfers exterior tool RacerPro_1.9.0 to examine its evaluation uniformity one by one.If all is consistent, then examines passes; If has random one not to be inconsistent, t