@Override public Datatype<?> getPrimitiveDatatype() { return XSDDecimal.getInstance(); }
@Override public Datatype<?> getPrimitiveDatatype() { return XSDDecimal.getInstance(); }
@Override public ATermAppl getLiteral(final Object value) { if (value instanceof Rational) return OWLRational.getInstance().getLiteral(value); else if (value instanceof Number) try { return XSDDecimal.getInstance().getLiteral(value); } catch (final IllegalArgumentException e) { throw new IllegalArgumentException(e); } else throw new IllegalArgumentException(); }
@Override public ATermAppl getLiteral(final Object value) { if (value instanceof Rational) return OWLRational.getInstance().getLiteral(value); else if (value instanceof Number) try { return XSDDecimal.getInstance().getLiteral(value); } catch (final IllegalArgumentException e) { throw new IllegalArgumentException(e); } else throw new IllegalArgumentException(); }
@Override public void visitLiteral(final ATermAppl term) { final ATermAppl lexicalValue = (ATermAppl) term.getArgument(ATermUtils.LIT_VAL_INDEX); final ATermAppl lang = (ATermAppl) term.getArgument(ATermUtils.LIT_LANG_INDEX); final ATermAppl datatypeURI = (ATermAppl) term.getArgument(ATermUtils.LIT_URI_INDEX); if (datatypeURI.equals(XSDInteger.getInstance().getName()) || datatypeURI.equals(XSDDecimal.getInstance().getName())) _out.print(lexicalValue.getName()); else if (datatypeURI.equals(XSDFloat.getInstance().getName())) { _out.print(lexicalValue.getName()); _out.print("f"); } else if (!datatypeURI.equals(ATermUtils.PLAIN_LITERAL_DATATYPE)) { _out.print(lexicalValue.getName()); _out.print("^^"); _out.print(datatypeURI.getName()); } else { _out.print("\"" + lexicalValue.getName() + "\""); if (!lang.equals(ATermUtils.EMPTY)) _out.print("@" + lang); } }
@Override public void visitLiteral(final ATermAppl term) { final ATermAppl lexicalValue = (ATermAppl) term.getArgument(ATermUtils.LIT_VAL_INDEX); final ATermAppl lang = (ATermAppl) term.getArgument(ATermUtils.LIT_LANG_INDEX); final ATermAppl datatypeURI = (ATermAppl) term.getArgument(ATermUtils.LIT_URI_INDEX); if (datatypeURI.equals(XSDInteger.getInstance().getName()) || datatypeURI.equals(XSDDecimal.getInstance().getName())) _out.print(lexicalValue.getName()); else if (datatypeURI.equals(XSDFloat.getInstance().getName())) { _out.print(lexicalValue.getName()); _out.print("f"); } else if (!datatypeURI.equals(ATermUtils.PLAIN_LITERAL_DATATYPE)) { _out.print(lexicalValue.getName()); _out.print("^^"); _out.print(datatypeURI.getName()); } else { _out.print("\"" + lexicalValue.getName() + "\""); if (!lang.equals(ATermUtils.EMPTY)) _out.print("@" + lang); } }
assertFalse(kb.hasPropertyValue(y, p, ATermUtils.makeTypedLiteral("5", XSDDecimal.getInstance().getName())));