*/
private void rePrimeNF6(AxiomSet as, IConceptMap<IConceptSet> subsumptions) {
int size = as.getNf6Axioms().size();
if (size == 0)
return;
IConceptSet deltaNF6 = new SparseConceptSet(size);
for (NF6 nf6 : as.getNf6Axioms()) {
deltaNF6.add(nf6.getR());
}
for (IntIterator it = deltaNF6.iterator(); it.hasNext();) {
int role = it.next();
for (IntIterator it2 = contextIndex.keyIterator(); it2.hasNext();) {
int concept = it2.next();
Context ctx = contextIndex.get(concept);
if (ctx.getSucc().containsRole(role) && !ctx.getSucc().lookupConcept(role).contains(concept)) {