private Set<OWLAxiom> getCachedExplanation(OWLClassExpression unsatClass) { PelletReasoner pellet = getReasoner(); if( !pellet.getKB().isClassified() ) return null; Pair<OWLClass,OWLClass> pair = getSubClassAxiom( unsatClass ); if( pair != null ) { Set<Set<ATermAppl>> exps = TaxonomyUtils.getSuperExplanations( pellet.getKB().getTaxonomy(), pellet.term( pair.first ), pellet.term( pair.second ) ); if( exps != null ) { Set<OWLAxiom> result = convertExplanation( exps.iterator().next() ); if( log.isLoggable( Level.FINE ) ) log.fine( "Cached explanation: " + result ); return result; } } return null; }
Set<Set<ATermAppl>> exps = TaxonomyUtils.getSuperExplanations( toldTaxonomy, c, n .getName() ); if( exps != null ) {
Set<Set<ATermAppl>> exps = TaxonomyUtils.getSuperExplanations( toldTaxonomy, c, n .getName() ); if( exps != null ) {