public Set<Role> getProperSubRoles() { return SetUtils.difference( subRoles, superRoles ); }
public Set<Role> getProperSubRoles() { return SetUtils.difference( subRoles, superRoles ); }
public Collection<? extends AtomVariable> getBindableVars( Collection<AtomVariable> bound ) { if ( !isApplicable( bound ) ) return Collections.emptySet(); return SetUtils.difference( VariableUtils.getVars( atom ), bound ); }
public Collection<? extends AtomVariable> getBindableVars( Collection<AtomVariable> bound ) { if ( !isApplicable( bound ) ) return Collections.emptySet(); return SetUtils.difference( VariableUtils.getVars( atom ), bound ); }
public Set<Fact> run() { // Inserts empty fact to fire rules without bodies Collection<AlphaNode> savedDirties = new ArrayList<AlphaNode>( dirtyAlphas ); dirtyHistory.add( 0, new Pair<Integer, Collection<AlphaNode>>( rete.abox.getBranch(), savedDirties ) ); Collection<Fact> oldInferred = new ArrayList<Fact>( inferredFacts ); while( isDirty() ) { List<BetaNode> dirtyBetas = new ArrayList<BetaNode>(); for( AlphaNode alphaNode : dirtyAlphas ) dirtyBetas.addAll( alphaNode.getBetas() ); dirtyAlphas.clear(); processBetaNodes( dirtyBetas ); } return SetUtils.difference( inferredFacts, oldInferred ); } }
Set<OWLEntity> addedEntities = SetUtils.difference( module, previousModule ); previousModule = new HashSet<OWLEntity>( module ); Set<OWLAxiom> testLocal = new HashSet<OWLAxiom>();
if( log.isLoggable( Level.FINE ) && prunedAxiomCount > 0 ) { log.fine( "Pruned " + prunedAxiomCount + " axioms from the explanation: " + SetUtils.difference( explanation, prunedExplanation ) ); log.fine( "New explanation " + prunedExplanation );
Set<OWLEntity> addedEntities = SetUtils.difference( module, previousModule ); previousModule = new HashSet<OWLEntity>( module ); Set<OWLAxiom> testLocal = new HashSet<OWLAxiom>();
public AtomicDatatype intersection(AtomicDatatype dt) { if(getPrimitiveType().equals(dt.getPrimitiveType()) && dt instanceof BaseAtomicDatatype) { BaseAtomicDatatype other = (BaseAtomicDatatype) dt; if(values == null) { if(negated) return this; else return other; } else if(other.values == null) { if(other.negated) return other; else return this; } else if(negated) { if(other.negated) return derive(SetUtils.union(values, other.values), true); else return derive(SetUtils.difference(other.values, values), false); } else if(other.negated) return derive(SetUtils.difference(values, other.values), false); else return derive(SetUtils.intersection(values, other.values), false); } return null; }