private void addAlphaNodeForSubs(final Role r, final AlphaNode node) { for (final Role sub : r.getSubRoles()) if (!sub.isBottom()) addAlphaNode(sub, node); }
private void addAlphaNodeForSubs(final Role r, final AlphaNode node) { for (final Role sub : r.getSubRoles()) if (!sub.isBottom()) addAlphaNode(sub, node); }
return Bool.TRUE; else if (prop.isBottom()) return Bool.FALSE;
return Bool.TRUE; else if (prop.isBottom()) return Bool.FALSE;
@Override public boolean isBuiltin() { return isTop() || isBottom() || _inverse != null && (_inverse.isTop() || _inverse.isBottom()); } }
@Override public boolean isBuiltin() { return isTop() || isBottom() || _inverse != null && (_inverse.isTop() || _inverse.isBottom()); } }
if (!role.isBottom()) getABox().getObjectPropertyValues(x, role, knowns, unknowns, true);
protected void addOutEdge(final Edge edge) { setChanged(ALL); setChanged(MAX); _applyNext[MAX] = 0; if (edge.getRole().isBottom()) _abox.setClash(Clash.bottomProperty(edge.getFrom(), edge.getDepends(), edge.getRole().getName())); else _outEdges.add(edge); }
protected void addOutEdge(final Edge edge) { setChanged(ALL); setChanged(MAX); _applyNext[MAX] = 0; if (edge.getRole().isBottom()) _abox.setClash(Clash.bottomProperty(edge.getFrom(), edge.getDepends(), edge.getRole().getName())); else _outEdges.add(edge); }
@Override public Bool hasObviousDataPropertyValue(final ATermAppl s, final ATermAppl p, final Object value) { assert isComplete() : "Initial consistency check has not been performed!"; Individual subj = getIndividual(s); final Role prop = getRole(p); if (prop.isTop()) return Bool.TRUE; else if (prop.isBottom()) return Bool.FALSE; // if onlyPositive is set then the answer returned is sound but not // complete so we cannot return negative answers boolean onlyPositive = false; if (!subj.getMergeDependency(true).isIndependent()) { onlyPositive = true; subj = getIndividual(s); } else subj = subj.getSame(); final Bool hasValue = subj.hasDataPropertyValue(prop, value); if (onlyPositive && hasValue.isFalse()) return Bool.UNKNOWN; return hasValue; }
@Override public Bool hasObviousDataPropertyValue(final ATermAppl s, final ATermAppl p, final Object value) { assert isComplete() : "Initial consistency check has not been performed!"; Individual subj = getIndividual(s); final Role prop = getRole(p); if (prop.isTop()) return Bool.TRUE; else if (prop.isBottom()) return Bool.FALSE; // if onlyPositive is set then the answer returned is sound but not // complete so we cannot return negative answers boolean onlyPositive = false; if (!subj.getMergeDependency(true).isIndependent()) { onlyPositive = true; subj = getIndividual(s); } else subj = subj.getSame(); final Bool hasValue = subj.hasDataPropertyValue(prop, value); if (onlyPositive && hasValue.isFalse()) return Bool.UNKNOWN; return hasValue; }
default boolean isInverseFunctionalProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole()) return false; else if (role.isInverseFunctional() || role.isBottom()) { if (doExplanation()) getABox().setExplanation(role.getExplainInverseFunctional()); return true; } final ATermAppl invP = role.getInverse().getName(); final ATermAppl max1invP = ATermUtils.makeMax(invP, 1, ATermUtils.TOP); return isSubClassOf(ATermUtils.TOP, max1invP); }
default boolean isInverseFunctionalProperty(final ATermAppl p) { if (null == p) return false; final Role role = getRole(p); if (role == null) { Base.handleUndefinedEntity(p + _isNotAnKnowProperty); return false; } if (!role.isObjectRole()) return false; else if (role.isInverseFunctional() || role.isBottom()) { if (doExplanation()) getABox().setExplanation(role.getExplainInverseFunctional()); return true; } final ATermAppl invP = role.getInverse().getName(); final ATermAppl max1invP = ATermUtils.makeMax(invP, 1, ATermUtils.TOP); return isSubClassOf(ATermUtils.TOP, max1invP); }
if (r.isBottom())
if (r.isBottom())
return false; if (role.isBottom())
return false; if (role.isBottom())