@Override public void removeSubRoleChains() { _subRoleChains = Collections.emptySet(); if (isTransitive()) setTransitive(false, null); }
@Override public void removeSubRoleChains() { _subRoleChains = Collections.emptySet(); if (isTransitive()) setTransitive(false, null); }
@Override public void removeSubRoleChain(final ATermList chain) { _subRoleChains = SetUtils.remove(chain, _subRoleChains); _explainSub.remove(chain); if (isTransitive() && ATermUtils.isTransitiveChain(chain, _name)) setTransitive(false, null); }
@Override public void removeSubRoleChain(final ATermList chain) { _subRoleChains = SetUtils.remove(chain, _subRoleChains); _explainSub.remove(chain); if (isTransitive() && ATermUtils.isTransitiveChain(chain, _name)) setTransitive(false, null); }
/** * 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); }
if (isTransitive()) str += " Transitive"; if (isReflexive())
if (isTransitive()) str += " Transitive"; if (isReflexive())