@Override public void setHasComplexSubRole(final boolean b) { if (b == hasComplexSubRole()) return; if (b) _flags |= COMPLEX_SUB; else _flags &= ~COMPLEX_SUB; if (_inverse != null) _inverse.setHasComplexSubRole(b); if (b) setSimple(false); }
@Override public void setHasComplexSubRole(final boolean b) { if (b == hasComplexSubRole()) return; if (b) _flags |= COMPLEX_SUB; else _flags &= ~COMPLEX_SUB; if (_inverse != null) _inverse.setHasComplexSubRole(b); if (b) setSimple(false); }
public void addTransitiveSubRole(final Role r) setSimple(false);
public void addTransitiveSubRole(final Role r) setSimple(false);
/** * 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); }