In the evaluation stage,training axioms are used to modularize ontology firstly,then some test axioms are carried to investigate the enhancement of reasoning performance.

• 根据训练公理和测试公理所属范围的不同,我们使用了三组实验:训练公理和测试公理限定在同一较小范围,训练公理和测试公理不限定范围,训练公理和测试公理的范围实现三次不同的改变。