Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.004 TOTAL REPAIR TIME (s): 0.064 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 TOTAL REPAIR TIME (s): 0.028 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.004 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 TOTAL REPAIR TIME (s): 0.022 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 TOTAL REPAIR TIME (s): 0.02 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 TOTAL REPAIR TIME (s): 0.019 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.002 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.003 TOTAL REPAIR TIME (s): 0.018 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.009 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.009 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.008 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.008 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.013 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.008 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.016 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.296 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.007 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.008 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.013 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006 Num original mappings: 9 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.001 TOTAL REPAIR TIME (s): 0.006