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.062 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.042 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.021 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.002 TOTAL REPAIR TIME (s): 0.019 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.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.008 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.009 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.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.013 TOTAL REPAIR TIME (s): 0.02 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.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.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.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.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.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.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.019 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.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.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.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.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.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.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.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.008 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.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.0 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.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.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.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.001 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.005 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.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.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.0 Classifying 'ALC' Ontology with HermiT... Done, Time (s): 0.0 TOTAL REPAIR TIME (s): 0.006