public void computeAll() { if( !computed ) { computKBCosts(); if( log.isLoggable( Level.FINE ) ) { log.fine( " NoSat cost : " + noSatCost + " ms." ); log.fine( " OneSat cost : " + oneSatCost + " ms." ); log.fine( "Classify cost : " + classificationCost + " ms." ); log.fine( " Realize cost : " + realizationCost + " ms." ); log.fine( " IR cost : " + instanceRetrievalCost + " ms." ); log.fine( " CR cost : " + classRetrievalCost + " ms." ); } compute( new HashSet<ATermAppl>( kb.getClasses() ), new HashSet<ATermAppl>( kb .getProperties() ) ); computed = true; } }
public void computeAll() { if( !computed ) { computKBCosts(); if( log.isLoggable( Level.FINE ) ) { log.fine( " NoSat cost : " + noSatCost + " ms." ); log.fine( " OneSat cost : " + oneSatCost + " ms." ); log.fine( "Classify cost : " + classificationCost + " ms." ); log.fine( " Realize cost : " + realizationCost + " ms." ); log.fine( " IR cost : " + instanceRetrievalCost + " ms." ); log.fine( " CR cost : " + classRetrievalCost + " ms." ); } compute( new HashSet<ATermAppl>( kb.getClasses() ), new HashSet<ATermAppl>( kb .getProperties() ) ); computed = true; } }
avgPairsPP = 1; computKBCosts();
avgPairsPP = 1; computKBCosts();
public void classify() { ensureConsistency(); if( isClassified() ) return; if( log.isLoggable( Level.FINE ) ) log.fine( "Classifying..." ); Timer timer = timers.startTimer( "classify" ); builder = getTaxonomyBuilder(); boolean isClassified = builder.classify(); timer.stop(); if( !isClassified ) return; state.add( ReasoningState.CLASSIFY ); estimate.computKBCosts(); }
public void classify() { ensureConsistency(); if( isClassified() ) return; if( log.isLoggable( Level.FINE ) ) log.fine( "Classifying..." ); Timer timer = timers.startTimer( "classify" ); builder = getTaxonomyBuilder(); boolean isClassified = builder.classify(); timer.stop(); if( !isClassified ) return; state.add( ReasoningState.CLASSIFY ); estimate.computKBCosts(); }
public void realize() { if( isRealized() ) return; classify(); if( !isClassified() ) return; Timer timer = timers.startTimer( "realize" ); // This is false if the progress monitor is canceled boolean isRealized = builder.realize(); timer.stop(); if( !isRealized ) return; state.add( ReasoningState.REALIZE ); estimate.computKBCosts(); }
public void realize() { if( isRealized() ) return; classify(); if( !isClassified() ) return; Timer timer = timers.startTimer( "realize" ); // This is false if the progress monitor is canceled boolean isRealized = builder.realize(); timer.stop(); if( !isRealized ) return; state.add( ReasoningState.REALIZE ); estimate.computKBCosts(); }