resetSatisfiabilityTestCounter(); expandWithDefiningAxioms((OWLClass) getCurrentClass(), expansionLimit); LOGGER.info("Initial axiom count: {}", Integer.valueOf(debuggingAxioms.size())); resetSatisfiabilityTestCounter(); LOGGER.info("Fast pruning..."); fastPruningWindowSize = DEFAULT_FAST_PRUNING_WINDOW_SIZE; Integer.valueOf(satTestCount)); int totalSatTests = satTestCount; resetSatisfiabilityTestCounter(); LOGGER.info("Slow pruning..."); performSlowPruning();
resetSatisfiabilityTestCounter(); expandWithDefiningAxioms((OWLClass) getCurrentClass(), expansionLimit); LOGGER.info("Initial axiom count: {}", Integer.valueOf(debuggingAxioms.size())); resetSatisfiabilityTestCounter(); LOGGER.info("Fast pruning..."); fastPruningWindowSize = DEFAULT_FAST_PRUNING_WINDOW_SIZE; Integer.valueOf(satTestCount)); int totalSatTests = satTestCount; resetSatisfiabilityTestCounter(); LOGGER.info("Slow pruning..."); performSlowPruning();
resetSatisfiabilityTestCounter(); expandWithDefiningAxioms((OWLClass) getCurrentClass(), expansionLimit); LOGGER.info("Initial axiom count: {}", Integer.valueOf(debuggingAxioms.size())); resetSatisfiabilityTestCounter(); LOGGER.info("Fast pruning..."); fastPruningWindowSize = DEFAULT_FAST_PRUNING_WINDOW_SIZE; Integer.valueOf(satTestCount)); int totalSatTests = satTestCount; resetSatisfiabilityTestCounter(); LOGGER.info("Slow pruning..."); performSlowPruning();
resetSatisfiabilityTestCounter(); expandWithDefiningAxioms((OWLClass) getCurrentClass(), expansionLimit); LOGGER.info("Initial axiom count: {}", Integer.valueOf(debuggingAxioms.size())); resetSatisfiabilityTestCounter(); LOGGER.info("Fast pruning..."); fastPruningWindowSize = DEFAULT_FAST_PRUNING_WINDOW_SIZE; Integer.valueOf(satTestCount)); int totalSatTests = satTestCount; resetSatisfiabilityTestCounter(); LOGGER.info("Slow pruning..."); performSlowPruning();
resetSatisfiabilityTestCounter(); expandWithDefiningAxioms(currentClass, expansionLimit); resetSatisfiabilityTestCounter(); if (logger.isLoggable(Level.INFO)) { logger.info("Fast pruning..."); resetSatisfiabilityTestCounter(); if (logger.isLoggable(Level.INFO)) { logger.info("Slow pruning...");