private void processAdditions() { for (final OWLAxiom axiom : _additions) { _axioms.add(axiom); axiom.signature().forEach(entity -> { _entityAxioms.add(entity, axiom); if (entity instanceof OWLClass) { final OWLClass cls = (OWLClass) entity; if (_modules != null && !_modules.containsKey(cls)) _newClasses.add(cls); } }); } }
private void processAdditions() { for (final OWLAxiom axiom : _additions) { _axioms.add(axiom); axiom.signature().forEach(entity -> { _entityAxioms.add(entity, axiom); if (entity instanceof OWLClass) { final OWLClass cls = (OWLClass) entity; if (_modules != null && !_modules.containsKey(cls)) _newClasses.add(cls); } }); } }
private void processDeletions() { for (final OWLAxiom axiom : _deletions) { _axioms.remove(axiom); axiom.signature().forEach(entity -> { _entityAxioms.remove(entity, axiom); if (!_entityAxioms.containsKey(entity)) { _logger.fine(() -> "Remove " + entity + " which is not mentioned anymore"); _modules.remove(entity); } }); } }
private void processDeletions() { for (final OWLAxiom axiom : _deletions) { _axioms.remove(axiom); axiom.signature().forEach(entity -> { _entityAxioms.remove(entity, axiom); if (!_entityAxioms.containsKey(entity)) { _logger.fine(() -> "Remove " + entity + " which is not mentioned anymore"); _modules.remove(entity); } }); } }
@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)); } }
@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)); } }
private OWLEntity extractModuleSignature(final OWLEntity entity, final Set<OWLEntity> stackElements, final List<OWLEntity> currentCycle, final Set<OWLEntity> module) assert !_modules.containsKey(entity) : "po already contained entity"; if (!_modules.containsKey(member))
private OWLEntity extractModuleSignature(final OWLEntity entity, final Set<OWLEntity> stackElements, final List<OWLEntity> currentCycle, final Set<OWLEntity> module) assert !_modules.containsKey(entity) : "po already contained entity"; if (!_modules.containsKey(member))
assert !_modules.containsKey(entity) : "po already contained entity"; if (!_modules.containsKey(member)) extractModuleSignature(member, modEqCls, stack, stackElements);
assert !_modules.containsKey(entity) : "po already contained entity"; if (!_modules.containsKey(member)) extractModuleSignature(member, modEqCls, stack, stackElements);