public Timers() { mainTimer = createTimer("main"); mainTimer.start(); }
public Timers() { mainTimer = createTimer("main"); mainTimer.start(); }
/** * */ public KnowledgeBase() { clear(); timers.createTimer( "preprocessing" ); timers.createTimer( "consistency" ); timers.createTimer( "complete" ); state = EnumSet.noneOf( ReasoningState.class ); if( PelletOptions.USE_INCREMENTAL_DELETION ) { deletedAssertions = new HashSet<ATermAppl>(); dependencyIndex = new DependencyIndex( this ); syntacticAssertions = new HashSet<ATermAppl>(); } aboxAssertions = new MultiValueMap<AssertionType, ATermAppl>(); annotations = new HashMap<ATermAppl, Map<ATermAppl, Set<ATermAppl>>>(); }
/** * */ public KnowledgeBase() { clear(); timers.createTimer( "preprocessing" ); timers.createTimer( "consistency" ); timers.createTimer( "complete" ); state = EnumSet.noneOf( ReasoningState.class ); if( PelletOptions.USE_INCREMENTAL_DELETION ) { deletedAssertions = new HashSet<ATermAppl>(); dependencyIndex = new DependencyIndex( this ); syntacticAssertions = new HashSet<ATermAppl>(); } aboxAssertions = new MultiValueMap<AssertionType, ATermAppl>(); annotations = new HashMap<ATermAppl, Map<ATermAppl, Set<ATermAppl>>>(); }
public Timer startTimer(String name) { Timer t = getTimer(name); if(t == null) t = createTimer(name); t.start(); return t; }
public void setTimeout(String name, long timeout) { Timer t = getTimer(name); if (t == null) t = createTimer(name); t.setTimeout(timeout); }
public Timer startTimer(String name) { Timer t = getTimer(name); if(t == null) t = createTimer(name); t.start(); return t; }
public void setTimeout(String name, long timeout) { Timer t = getTimer(name); if (t == null) t = createTimer(name); t.setTimeout(timeout); }
kb.timers.createTimer( "classifySub" ); log.fine( "Classes: " + classCount + " Individuals: " + kb.getIndividuals().size() );
kb.timers.createTimer( "classifySub" ); log.fine( "Classes: " + classCount + " Individuals: " + kb.getIndividuals().size() );
public OWLOntology getLearnedOntology() { Timers timers = new Timers(); Timer timer = timers.createTimer("OntologyCreation");