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

Test module checker, responsible for handling operations on the dl - atom add body. 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

Verify that the module is responsible for processing, Checker on DL-atom 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 examinati

Examination module Checker, is responsible to process about the dl-atom increase main body operation.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

Test module Checker, is responsible for operations on DL-Atom added ontology. 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 n

正在翻译，请等待...