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 canonical = _abox.getKB().getDatatypeReasoner().getCanonicalRepresentation(literal);
try canonical = _abox.getKB().getDatatypeReasoner().getCanonicalRepresentation(literal);
@Override public void visit(final AtomDConstant constant) { ATermAppl canonical; final ATermAppl literal = constant.getValue(); try { canonical = _translatorAbox.getKB().getDatatypeReasoner().getCanonicalRepresentation(literal); } catch (final InvalidLiteralException e) { final String msg = format("Invalid literal (%s) in SWRL _data constant: %s", literal, e.getMessage()); if (OpenlletOptions.INVALID_LITERAL_AS_INCONSISTENCY) canonical = literal; else throw new InternalReasonerException(msg, e); } catch (final UnrecognizedDatatypeException e) { final String msg = format("Unrecognized datatype in literal appearing (%s) in SWRL _data constant: %s", literal, e.getMessage()); throw new InternalReasonerException(msg, e); } _result = new ConstantNodeProvider(_translatorAbox.addLiteral(canonical)); }
try canonicalLit = getDatatypeReasoner().getCanonicalRepresentation(litValue);
try canonicalLit = getDatatypeReasoner().getCanonicalRepresentation(litValue);
@Override public void visit(final AtomDConstant constant) { ATermAppl canonical; final ATermAppl literal = constant.getValue(); try { canonical = _translatorAbox.getKB().getDatatypeReasoner().getCanonicalRepresentation(literal); } catch (final InvalidLiteralException e) { final String msg = format("Invalid literal (%s) in SWRL _data constant: %s", literal, e.getMessage()); if (OpenlletOptions.INVALID_LITERAL_AS_INCONSISTENCY) canonical = literal; else throw new InternalReasonerException(msg, e); } catch (final UnrecognizedDatatypeException e) { final String msg = format("Unrecognized datatype in literal appearing (%s) in SWRL _data constant: %s", literal, e.getMessage()); throw new InternalReasonerException(msg, e); } _result = new ConstantNodeProvider(_translatorAbox.addLiteral(canonical)); }
try name = getDatatypeReasoner().getCanonicalRepresentation(dataValue);
try name = getDatatypeReasoner().getCanonicalRepresentation(dataValue);
final ATermAppl canon1 = dtr.getCanonicalRepresentation(term1); final ATermAppl baseType = (ATermAppl) canon1.getArgument(ATermUtils.LIT_URI_INDEX); final ATermAppl dr = ATermUtils.makeRestrictedDatatype(baseType, new ATermAppl[] { ATermUtils.makeFacetRestriction(f.getName(), canon1) });
final ATermAppl canon1 = dtr.getCanonicalRepresentation(term1); final ATermAppl baseType = (ATermAppl) canon1.getArgument(ATermUtils.LIT_URI_INDEX); final ATermAppl dr = ATermUtils.makeRestrictedDatatype(baseType, new ATermAppl[] { ATermUtils.makeFacetRestriction(f.getName(), canon1) });
try ind2 = _abox.getDatatypeReasoner().getCanonicalRepresentation(i2);
try ind2 = _abox.getDatatypeReasoner().getCanonicalRepresentation(i2);
try canonical = _strategy.getABox().getDatatypeReasoner().getCanonicalRepresentation(input);
try canonical = _strategy.getABox().getDatatypeReasoner().getCanonicalRepresentation(input);