default Role addRole(final ATermAppl r) { Role role = getRole(r); if (role == null) { role = new RoleImpl(r, PropertyType.UNTYPED); getRoles().put(r, role); } return role; }
/** * @param term * @return a role */ public default Role getRole(final ATerm term) { return getRBox().getRole(term); }
default Role addRole(final ATermAppl r) { Role role = getRole(r); if (role == null) { role = new RoleImpl(r, PropertyType.UNTYPED); getRoles().put(r, role); } return role; }
/** * @param term * @return a role */ public default Role getRole(final ATerm term) { return getRBox().getRole(term); }
public default Role getProperty(final ATerm r) { return getRBox().getRole(r); }
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); }
default boolean addInverseRole(final ATerm s, final ATerm r, final DependencySet ds) { final Role roleS = getRole(s); final Role roleR = getRole(r); if (roleS == null || roleR == null || !roleS.isObjectRole() || !roleR.isObjectRole()) return false; else addEquivalentRole(roleS.getInverse().getName(), r, ds); return true; }
default boolean addInverseRole(final ATerm s, final ATerm r, final DependencySet ds) { final Role roleS = getRole(s); final Role roleR = getRole(r); if (roleS == null || roleR == null || !roleS.isObjectRole() || !roleR.isObjectRole()) return false; else addEquivalentRole(roleS.getInverse().getName(), r, ds); return 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); }
private ATermAppl inv(final ATermAppl pred) { return _kb.getRBox().getRole(pred).getInverse().getName(); }
private ATermAppl inv(final ATermAppl pred) { return _kb.getRBox().getRole(pred).getInverse().getName(); }
private ATermAppl inv(final ATermAppl pred) { return _kb.getRBox().getRole(pred).getInverse().getName(); }
private void addRoleChainTransition(final TransitionGraph<Role> tg, final State<Role> initialState, final State<Role> finalState, final ATermList list, final int length) { State<Role> prev = initialState; ATermList chain = list; for (int i = 0; i < length; i++, chain = chain.getNext()) { final Role role = _rbox.getRole(chain.getFirst()); final State<Role> next = i == length - 1 ? finalState : tg.newState(); tg.addTransition(prev, role, next); prev = next; } }
private void addRoleChainTransition(final TransitionGraph<Role> tg, final State<Role> initialState, final State<Role> finalState, final ATermList list, final int length) { State<Role> prev = initialState; ATermList chain = list; for (int i = 0; i < length; i++, chain = chain.getNext()) { final Role role = _rbox.getRole(chain.getFirst()); final State<Role> next = i == length - 1 ? finalState : tg.newState(); tg.addTransition(prev, role, next); prev = next; } }