private static boolean checkDisjointProperties(final Set<Role> roles1, final Set<Role> roles2) { final Set<Role> allDisjoints = new HashSet<>(); for (final Role role : roles1) allDisjoints.addAll(role.getDisjointRoles()); return SetUtils.intersects(allDisjoints, roles2); }
private static boolean checkDisjointProperties(final Set<Role> roles1, final Set<Role> roles2) { final Set<Role> allDisjoints = new HashSet<>(); for (final Role role : roles1) allDisjoints.addAll(role.getDisjointRoles()); return SetUtils.intersects(allDisjoints, roles2); }
private RuleAtom pickNextAtom(final List<RuleAtom> atoms, final Set<AtomVariable> bound) { int index = 0; if (bound.isEmpty()) for (int i = 0; i < atoms.size(); i++) { final RuleAtom atom = atoms.get(i); if (_safetyChecker.isSafe(atom)) return atoms.remove(i); } else for (int i = 0; i < atoms.size(); i++) { final RuleAtom atom = atoms.get(i); if (SetUtils.intersects(bound, atom.getAllArguments())) { index = i; if (_safetyChecker.isSafe(atom)) break; } } return atoms.remove(index); }
private RuleAtom pickNextAtom(final List<RuleAtom> atoms, final Set<AtomVariable> bound) { int index = 0; if (bound.isEmpty()) for (int i = 0; i < atoms.size(); i++) { final RuleAtom atom = atoms.get(i); if (_safetyChecker.isSafe(atom)) return atoms.remove(i); } else for (int i = 0; i < atoms.size(); i++) { final 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 (SetUtils.intersects(nextAtom.getArguments(), atom2.getArguments()))
if (SetUtils.intersects(nextAtom.getArguments(), atom2.getArguments()))
if (SetUtils.intersects(inferred, subs) || SetUtils.intersects(inferred, eqs)) query.remove(atom);
if (SetUtils.intersects(inferred, subs) || SetUtils.intersects(inferred, eqs)) query.remove(atom);
if (SetUtils.intersects(inferred, subs) || SetUtils.intersects(inferred, eqs)) query.remove(atom);
private void extractInferences() { if (selector.size() == 0) throw new OpenlletCmdException("Selector is empty, provide types to extract"); final ModelExtractor extractor = new ModelExtractor(getKB()); extractor.setSelector(selector); final Model extracted = ModelFactory.createDefaultModel(); if (SetUtils.intersects(selector, ModelExtractor.StatementType.ALL_CLASS_STATEMENTS)) { startTask("Extracting class statements"); extractor.extractClassModel(extracted); finishTask("Extracting class statements"); } if (SetUtils.intersects(selector, ModelExtractor.StatementType.ALL_PROPERTY_STATEMENTS)) { startTask("Extracting property statements"); extractor.extractPropertyModel(extracted); finishTask("Extracting property statements"); } if (SetUtils.intersects(selector, ModelExtractor.StatementType.ALL_INDIVIDUAL_STATEMENTS)) { startTask("Extracting individual statements"); extractor.extractIndividualModel(extracted); finishTask("Extracting individual statements"); } if (_debug) output(extracted); }
result = distCombinedQueryExec.exec(schemaQuery); shouldHaveBinding = openllet.core.utils.SetUtils.intersects(query.getDistVarsForType(VarType.CLASS), query.getResultVars()) || openllet.core.utils.SetUtils.intersects(query.getDistVarsForType(VarType.PROPERTY), query.getResultVars());
result = distCombinedQueryExec.exec(schemaQuery); shouldHaveBinding = openllet.core.utils.SetUtils.intersects(query.getDistVarsForType(VarType.CLASS), query.getResultVars()) || openllet.core.utils.SetUtils.intersects(query.getDistVarsForType(VarType.PROPERTY), query.getResultVars());
result = distCombinedQueryExec.exec(schemaQuery); shouldHaveBinding = openllet.core.utils.SetUtils.intersects(query.getDistVarsForType(VarType.CLASS), query.getResultVars()) || openllet.core.utils.SetUtils.intersects(query.getDistVarsForType(VarType.PROPERTY), query.getResultVars());
found = SetUtils.intersects(getABoxSames(kb, val), neighbors);
found = SetUtils.intersects(getABoxSames(kb, val), neighbors);