/** * @return true iff roles are treated as TOPs */ public boolean topRLocal() { return localityChecker.getSignature().topRLocal(); }
/** * @return true iff roles are treated as TOPs */ public boolean topRLocal() { return localityChecker.getSignature().topRLocal(); }
/** * @return true iff roles are treated as TOPs */ public boolean topRLocal() { return localityChecker.getSignature().topRLocal(); }
/** * @return true iff roles are treated as TOPs */ public boolean topRLocal() { return localityChecker.getSignature().topRLocal(); }
@Override public void visit(OWLDataProperty expr) { isBotEq = !getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLObjectProperty expr) { isBotEq = !getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLObjectProperty expr) { isTopEq = getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLObjectProperty expr) { isTopEq = getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLDataProperty expr) { isTopEq = getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLDataProperty expr) { isTopEq = getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLObjectProperty expr) { isTopEq = getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLDataProperty expr) { isTopEq = getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLDataProperty expr) { isTopEq = getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLObjectProperty expr) { isBotEq = !getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLObjectProperty expr) { isTopEq = getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLDataProperty expr) { isBotEq = !getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLDataProperty expr) { isBotEq = !getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLObjectProperty expr) { isBotEq = !getSignature().topRLocal() && !getSignature().contains(expr); }
@Override public void visit(OWLDataProperty expr) { isBotEq = !getSignature().topRLocal() && !getSignature().contains(expr); }
protected NamedEntry getRoleEntry(ObjectRoleName expr, RoleMaster rm) { NamedEntry role; if (nc(expr)) { role = sig.topRLocal() ? rm.getTopRole() : rm.getBotRole(); } else { role = expr.getEntry(); if (role == null) { role = matchEntry(rm.ensureRoleName(expr.getIRI()), expr); } } return role; }