@Override public void setForceSimple(final boolean b) { if (b == isForceSimple()) return; if (b) _flags |= FORCE_SIMPLE; else _flags &= ~FORCE_SIMPLE; if (_inverse != null) _inverse.setForceSimple(b); }
@Override public void setForceSimple(final boolean b) { if (b == isForceSimple()) return; if (b) _flags |= FORCE_SIMPLE; else _flags &= ~FORCE_SIMPLE; if (_inverse != null) _inverse.setForceSimple(b); }
protected void addSimpleProperty(final ATermAppl p, final SimpleProperty why) { _simpleProperties.put(p, why); final Role role = _kb.getRBox().getRole(p); role.setForceSimple(true); }
protected void addSimpleProperty(final ATermAppl p, final SimpleProperty why) { _simpleProperties.put(p, why); final Role role = _kb.getRBox().getRole(p); role.setForceSimple(true); }
protected void addSimpleProperty(final ATermAppl p, final SimpleProperty why) { _simpleProperties.put(p, why); final Role role = _kb.getRBox().getRole(p); role.setForceSimple(true); }
private void addSimpleProperty(final OWLObjectPropertyExpression ope) { if (!_addAxioms) // no need to mark simple properties during removal return; final OWLObjectProperty prop = getNamedProperty(ope); _simpleProperties.add(prop); prop.accept(this); final Role role = _kb.getRBox().getRole(_term); role.setForceSimple(true); }
private void addSimpleProperty(final OWLObjectPropertyExpression ope) { if (!_addAxioms) // no need to mark simple properties during removal return; final OWLObjectProperty prop = getNamedProperty(ope); _simpleProperties.add(prop); prop.accept(this); final Role role = _kb.getRBox().getRole(_term); role.setForceSimple(true); }
private void addSimpleProperty(final OWLObjectPropertyExpression ope) { if (!_addAxioms) // no need to mark simple properties during removal return; final OWLObjectProperty prop = getNamedProperty(ope); _simpleProperties.add(prop); prop.accept(this); final Role role = _kb.getRBox().getRole(_term); role.setForceSimple(true); }
s.setForceSimple(true); _rbox.ignoreTransitivity(s); return null;
s.setForceSimple(true); _rbox.ignoreTransitivity(s); return null;
s.setForceSimple(true); if (!s.isSimple()) role.setSimple(false);
s.setForceSimple(true); if (!s.isSimple()) role.setSimple(false);