public DataRangeBindingHelper(final ABox abox, final DataRangeAtom atom) { _dtReasoner = abox.getDatatypeReasoner(); _atom = atom; _hasNext = false; }
public DataRangeBindingHelper(final ABox abox, final DataRangeAtom atom) { _dtReasoner = abox.getDatatypeReasoner(); _atom = atom; _hasNext = false; }
/** * @return Returns the DatatypeReasoner */ public default DatatypeReasoner getDatatypeReasoner() { return getABox().getDatatypeReasoner(); } }
/** * @return Returns the DatatypeReasoner */ public default DatatypeReasoner getDatatypeReasoner() { return getABox().getDatatypeReasoner(); } }
final ATermAppl canonical = _abox.getDatatypeReasoner().getCanonicalRepresentation(input); if (!canonical.equals(input)) type = ATermUtils.makeValue(canonical);
final ATermAppl canonical = _abox.getDatatypeReasoner().getCanonicalRepresentation(input); if (!canonical.equals(input)) type = ATermUtils.makeValue(canonical);
try value = abox.getDatatypeReasoner().getValue(term);
try value = abox.getDatatypeReasoner().getValue(term);
try if (!_strategy.getABox().getDatatypeReasoner().isSatisfiable(nodes, ne))
try if (!_strategy.getABox().getDatatypeReasoner().isSatisfiable(nodes, ne))
try if (!_strategy.getABox().getDatatypeReasoner().containsAtLeast(n, drs))
try if (!_strategy.getABox().getDatatypeReasoner().containsAtLeast(n, drs))
try if (_abox.getDatatypeReasoner().isSatisfiable(literal.getTypes(), value)) hasValue = Bool.UNKNOWN; else
try if (_abox.getDatatypeReasoner().isSatisfiable(literal.getTypes(), value)) hasValue = Bool.UNKNOWN; else
final DatatypeReasoner dtReasoner = _abox.getDatatypeReasoner();
final DatatypeReasoner dtReasoner = _abox.getDatatypeReasoner();
final DatatypeReasoner dtr = l1.getABox().getDatatypeReasoner(); final ATermAppl term1 = l1.getTerm(); final ATermAppl type1 = (ATermAppl) term1.getArgument(ATermUtils.LIT_URI_INDEX);
final DatatypeReasoner dtr = l1.getABox().getDatatypeReasoner(); final ATermAppl term1 = l1.getTerm(); final ATermAppl type1 = (ATermAppl) term1.getArgument(ATermUtils.LIT_URI_INDEX);
try ind2 = _abox.getDatatypeReasoner().getCanonicalRepresentation(i2);
try ind2 = _abox.getDatatypeReasoner().getCanonicalRepresentation(i2);