private void addToQueue(ConceptInfo ci, Set<Trigger> triggers) { if( queue.addAll( ci, triggers ) ) { if( logger.isLoggable( Level.FINE ) ) logger.fine( "Add to queue: " + ci + " " + triggers ); } }
private void addToQueue(ConceptInfo ci, Set<Trigger> triggers) { if( queue.addAll( ci, triggers ) ) { if( logger.isLoggable( Level.FINE ) ) logger.fine( "Add to queue: " + ci + " " + triggers ); } }
private void createConcepts() { TOP = new ConceptInfo( ATermUtils.TOP, hasComplexRoles, false ); concepts.put( ATermUtils.TOP, TOP ); TOP.addSuperClass(TOP); BOTTOM = new ConceptInfo( ATermUtils.BOTTOM, hasComplexRoles, false ); concepts.put( ATermUtils.BOTTOM, BOTTOM ); BOTTOM.addSuperClass(BOTTOM); for (ATermAppl c : kb.getClasses()) { createConcept(c); } normalizeAxioms(); final Set<Trigger> TOP_TRIGGERS = TOP.getTriggers(); for( ConceptInfo ci : concepts.values() ) { Set<Trigger> queueList = CollectionUtils.makeSet(TOP_TRIGGERS); queueList.addAll( ci.getTriggers() ); if( !queueList.isEmpty() ) queue.addAll( ci, queueList ); } }
private void createConcepts() { TOP = new ConceptInfo( ATermUtils.TOP, hasComplexRoles, false ); concepts.put( ATermUtils.TOP, TOP ); TOP.addSuperClass(TOP); BOTTOM = new ConceptInfo( ATermUtils.BOTTOM, hasComplexRoles, false ); concepts.put( ATermUtils.BOTTOM, BOTTOM ); BOTTOM.addSuperClass(BOTTOM); for (ATermAppl c : kb.getClasses()) { createConcept(c); } normalizeAxioms(); final Set<Trigger> TOP_TRIGGERS = TOP.getTriggers(); for( ConceptInfo ci : concepts.values() ) { Set<Trigger> queueList = CollectionUtils.makeSet(TOP_TRIGGERS); queueList.addAll( ci.getTriggers() ); if( !queueList.isEmpty() ) queue.addAll( ci, queueList ); } }