296297298299300301302303304305306
else extractModuleSignature( ent, new DisjointSet<OWLEntity>(), new ArrayList<OWLEntity>(), new HashSet<OWLEntity>( nonLocalModule ) ); } monitor.taskFinished(); if( log.isLoggable( Level.FINE ) ) log.fine( modules.toString() ); }
220221222223224225226227228229230
for( OWLOntology ontology : toBeLoaded ) ontology.accept( visitor ); visitor.verify(); monitor.taskFinished(); timer.stop(); } private int load(OWLOntology ontology, boolean imported, Collection<OWLOntology> toBeLoaded) {
919293949596979899100101
if( !kb.isSatisfiable( c ) ) { unsatisfiableClasses.add( qnames.shortForm( c.getName() ) ); } } monitor.taskFinished(); finishTask( "find unsatisfiable" ); output(""); if( unsatisfiableClasses.isEmpty() ) { output( "Found no unsatisfiable concepts." );