public T find(final T o) { return findRoot(o)._object; }
if (!undistVarIterator.hasNext()) return query; final DisjointSet<Object> coreVertices = new DisjointSet<>(); coreVertices.add(a); coreVertices.add(atom); coreVertices.union(a, atom); coreVertices.add(a2); coreVertices.union(a, a2); coreVertices.add(atom); coreVertices.union(a, atom); coreVertices.add(a2); coreVertices.union(a, a2); coreVertices.add(atom); coreVertices.union(a, atom); toRemove.add(atom); for (final Set<Object> set : coreVertices.getEquivalanceSets())
@Override protected void extractModuleSignatures(final Set<? extends OWLEntity> entities, final ProgressMonitor monitor) { final Set<OWLEntity> nonLocalModule = new HashSet<>(); axioms()// .filter(axiom -> !isLocal(axiom, Collections.<OWLEntity> emptySet())) // .forEach(axiom -> nonLocalModule.addAll(axiom.signature().collect(Collectors.toList()))); // iterate over classes passed in, and extract all their modules for (final OWLEntity ent : entities) { monitor.incrementProgress(); if (!(ent instanceof OWLClass)) continue; _logger.fine(() -> "Class: " + ent); if (!_modules.containsKey(ent)) if (_optimizeForSharedModules) extractModuleSignature(ent, new HashSet<OWLEntity>(), new ArrayList<OWLEntity>(), new HashSet<>(nonLocalModule)); else extractModuleSignature(ent, new DisjointSet<OWLEntity>(), new ArrayList<OWLEntity>(), new HashSet<>(nonLocalModule)); } }
if (!undistVarIterator.hasNext()) return query; final DisjointSet<Object> coreVertices = new DisjointSet<>(); coreVertices.add(a); coreVertices.add(atom); coreVertices.union(a, atom); coreVertices.add(a2); coreVertices.union(a, a2); coreVertices.add(atom); coreVertices.union(a, atom); coreVertices.add(a2); coreVertices.union(a, a2); coreVertices.add(atom); coreVertices.union(a, atom); toRemove.add(atom); for (final Set<Object> set : coreVertices.getEquivalanceSets())
@Override protected void extractModuleSignatures(final Set<? extends OWLEntity> entities, final ProgressMonitor monitor) { final Set<OWLEntity> nonLocalModule = new HashSet<>(); axioms()// .filter(axiom -> !isLocal(axiom, Collections.<OWLEntity> emptySet())) // .forEach(axiom -> nonLocalModule.addAll(axiom.signature().collect(Collectors.toList()))); // iterate over classes passed in, and extract all their modules for (final OWLEntity ent : entities) { monitor.incrementProgress(); if (!(ent instanceof OWLClass)) continue; _logger.fine(() -> "Class: " + ent); if (!_modules.containsKey(ent)) if (_optimizeForSharedModules) extractModuleSignature(ent, new HashSet<OWLEntity>(), new ArrayList<OWLEntity>(), new HashSet<>(nonLocalModule)); else extractModuleSignature(ent, new DisjointSet<OWLEntity>(), new ArrayList<OWLEntity>(), new HashSet<>(nonLocalModule)); } }
if (!undistVarIterator.hasNext()) return query; final DisjointSet<Object> coreVertices = new DisjointSet<>(); coreVertices.add(a); coreVertices.add(atom); coreVertices.union(a, atom); coreVertices.add(a2); coreVertices.union(a, a2); coreVertices.add(atom); coreVertices.union(a, atom); coreVertices.add(a2); coreVertices.union(a, a2); coreVertices.add(atom); coreVertices.union(a, atom); toRemove.add(atom); for (final Set<Object> set : coreVertices.getEquivalanceSets())
/** * {@inheritDoc} */ @Override public Set<OWLAxiom> extractModule(final Set<? extends OWLEntity> signature) { if (isChanged()) resetModules(); final Set<OWLEntity> module = new HashSet<>(signature); axioms()// .filter(axiom -> !isLocal(axiom, Collections.<OWLEntity> emptySet())) // .forEach(axiom -> module.addAll(axiom.signature().collect(Collectors.toList()))); if (!_entityAxioms.isEmpty()) if (_optimizeForSharedModules) extractModuleSignature(null, new HashSet<OWLEntity>(), new ArrayList<OWLEntity>(), module); else extractModuleSignature(null, new DisjointSet<OWLEntity>(), new ArrayList<OWLEntity>(), module); return getModuleAxioms(module); }
public T find(final T o) { return findRoot(o)._object; }
final DisjointSet<ATermAppl> disjointSet = new DisjointSet<>(); continue; disjointSet.add(arg); if (toMerge != null) disjointSet.union(toMerge, arg); toMerge = arg; final Collection<Set<ATermAppl>> equivalenceSets = disjointSet.getEquivalanceSets(); if (ATermUtils.isVar(arg)) representative = disjointSet.find(arg); break;
public Collection<Set<T>> getEquivalanceSets() { final Map<T, Set<T>> equivalanceSets = new HashMap<>(); for (final T x : _elements.keySet()) { final T representative = find(x); Set<T> equivalanceSet = equivalanceSets.get(representative); if (equivalanceSet == null) { equivalanceSet = new HashSet<>(); equivalanceSets.put(representative, equivalanceSet); } equivalanceSet.add(x); } return equivalanceSets.values(); }
/** * {@inheritDoc} */ @Override public Set<OWLAxiom> extractModule(final Set<? extends OWLEntity> signature) { if (isChanged()) resetModules(); final Set<OWLEntity> module = new HashSet<>(signature); axioms()// .filter(axiom -> !isLocal(axiom, Collections.<OWLEntity> emptySet())) // .forEach(axiom -> module.addAll(axiom.signature().collect(Collectors.toList()))); if (!_entityAxioms.isEmpty()) if (_optimizeForSharedModules) extractModuleSignature(null, new HashSet<OWLEntity>(), new ArrayList<OWLEntity>(), module); else extractModuleSignature(null, new DisjointSet<OWLEntity>(), new ArrayList<OWLEntity>(), module); return getModuleAxioms(module); }
final DisjointSet<ATermAppl> disjointSet = new DisjointSet<>(); continue; disjointSet.add(arg); if (toMerge != null) disjointSet.union(toMerge, arg); toMerge = arg; final Collection<Set<ATermAppl>> equivalenceSets = disjointSet.getEquivalanceSets(); if (ATermUtils.isVar(arg)) representative = disjointSet.find(arg); break;
public Collection<Set<T>> getEquivalanceSets() { final Map<T, Set<T>> equivalanceSets = new HashMap<>(); for (final T x : _elements.keySet()) { final T representative = find(x); Set<T> equivalanceSet = equivalanceSets.get(representative); if (equivalanceSet == null) { equivalanceSet = new HashSet<>(); equivalanceSets.put(representative, equivalanceSet); } equivalanceSet.add(x); } return equivalanceSets.values(); }
final DisjointSet<ATermAppl> disjointSet = new DisjointSet<>(); continue; disjointSet.add(arg); if (toMerge != null) disjointSet.union(toMerge, arg); toMerge = arg; final Collection<Set<ATermAppl>> equivalenceSets = disjointSet.getEquivalanceSets(); if (ATermUtils.isVar(arg)) representative = disjointSet.find(arg); break;