@Override public void addSuperRole(final Role r, final DependencySet ds) { _superRoles = SetUtils.add(r, _superRoles); _explainSup.put(r.getName(), ds); }
@Override public void addSuperRole(final Role r, final DependencySet ds) { _superRoles = SetUtils.add(r, _superRoles); _explainSup.put(r.getName(), ds); }
/** * Add sub role with depedency set. * * @param r subrole of this role * @param ds */ @Override public void addSubRole(final Role r, final DependencySet ds) { if (OpenlletOptions.USE_TRACING && _explainSub.get(r.getName()) == null) _explainSub.put(r.getName(), ds); _subRoles = SetUtils.add(r, _subRoles); _explainSub.put(r.getName(), ds); }
/** * Add sub role with depedency set. * * @param r subrole of this role * @param ds */ @Override public void addSubRole(final Role r, final DependencySet ds) { if (OpenlletOptions.USE_TRACING && _explainSub.get(r.getName()) == null) _explainSub.put(r.getName(), ds); _subRoles = SetUtils.add(r, _subRoles); _explainSub.put(r.getName(), ds); }
/** * @param r The functionalSuper to set. */ @Override public void addFunctionalSuper(final Role r) { for (final Role fs : _functionalSupers) if (fs.isSubRoleOf(r)) { _functionalSupers = SetUtils.remove(fs, _functionalSupers); break; } else if (r.isSubRoleOf(fs)) return; _functionalSupers = SetUtils.add(r, _functionalSupers); }
/** * @param r The functionalSuper to set. */ @Override public void addFunctionalSuper(final Role r) { for (final Role fs : _functionalSupers) if (fs.isSubRoleOf(r)) { _functionalSupers = SetUtils.remove(fs, _functionalSupers); break; } else if (r.isSubRoleOf(fs)) return; _functionalSupers = SetUtils.add(r, _functionalSupers); }
/** * Add a sub role chain with dependency tracking. * * @param chain List of role names of at least length 2. * @param ds */ @Override public void addSubRoleChain(final ATermList chain, final DependencySet ds) { if (chain.isEmpty()) throw new InternalReasonerException("Adding a subproperty chain that is empty!"); else if (chain.getLength() == 1) throw new InternalReasonerException("Adding a subproperty chain that has a single element!"); _subRoleChains = SetUtils.add(chain, _subRoleChains); _explainSub.put(chain, ds); setSimple(false); if (ATermUtils.isTransitiveChain(chain, _name)) if (!isTransitive()) setTransitive(true, ds); }
/** * Add a sub role chain with dependency tracking. * * @param chain List of role names of at least length 2. * @param ds */ @Override public void addSubRoleChain(final ATermList chain, final DependencySet ds) { if (chain.isEmpty()) throw new InternalReasonerException("Adding a subproperty chain that is empty!"); else if (chain.getLength() == 1) throw new InternalReasonerException("Adding a subproperty chain that has a single element!"); _subRoleChains = SetUtils.add(chain, _subRoleChains); _explainSub.put(chain, ds); setSimple(false); if (ATermUtils.isTransitiveChain(chain, _name)) if (!isTransitive()) setTransitive(true, ds); }