private boolean checkDisjointProperties(Set<Role> roles1, Set<Role> roles2) { Set<Role> allDisjoints = new HashSet<Role>(); for( Role role : roles1 ) { allDisjoints.addAll( role.getDisjointRoles() ); } return SetUtils.intersects( allDisjoints, roles2 ); }
private boolean checkDisjointProperties(Set<Role> roles1, Set<Role> roles2) { Set<Role> allDisjoints = new HashSet<Role>(); for( Role role : roles1 ) { allDisjoints.addAll( role.getDisjointRoles() ); } return SetUtils.intersects( allDisjoints, roles2 ); }
private RuleAtom pickNextAtom(List<RuleAtom> atoms, Set<AtomVariable> bound) { int index = 0; if (bound.isEmpty()) { for (int i = 0; i < atoms.size(); i++) { RuleAtom atom = atoms.get(i); if (safetyChecker.isSafe(atom)) { return atoms.remove(i); } } } else { for (int i = 0; i < atoms.size(); i++) { RuleAtom atom = atoms.get(i); if (SetUtils.intersects(bound, atom.getAllArguments())) { index = i; if (safetyChecker.isSafe(atom)) { break; } } } } return atoms.remove(index); }
if( SetUtils.intersects( nextAtom.getArguments(), atom2.getArguments() ) ) { if( log.isLoggable( Level.FINE ) ) log.fine( "Unbound vars for not" );
false ); final Set<ATermAppl> eqs = kb.getAllEquivalentClasses( clazz ); if( SetUtils.intersects( inferred, subs ) || SetUtils.intersects( inferred, eqs ) ) query.remove( atom );
shouldHaveBinding = org.mindswap.pellet.utils.SetUtils.intersects( query.getDistVarsForType(VarType.CLASS), query .getResultVars()) || org.mindswap.pellet.utils.SetUtils.intersects(query .getDistVarsForType(VarType.PROPERTY), query .getResultVars());
kb.getABox().getSames( ind, samesAndMaybes, samesAndMaybes ); found = SetUtils.intersects( samesAndMaybes, neighbors );
kb.getABox().getSames( ind, samesAndMaybes, samesAndMaybes ); found = SetUtils.intersects( samesAndMaybes, neighbors );