@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { if (!ATermUtils.isLiteral(input)) throw new IllegalArgumentException(); if (!_name.equals(input.getArgument(ATermUtils.LIT_URI_INDEX))) throw new IllegalArgumentException(); return input; }
@Override public boolean contains(final Object value) { if (value instanceof ATermAppl) { final ATermAppl a = (ATermAppl) value; if (_excludedValues.contains(a)) return false; if (ATermUtils.isLiteral(a) && XSDAnyURI.NAME.equals(a.getArgument(ATermUtils.LIT_URI_INDEX))) return true; } return false; }
@Override public ATermAppl getLiteral(final Object value) { if (value instanceof ATermAppl) { final ATermAppl a = (ATermAppl) value; if (ATermUtils.isLiteral(a)) if (_name.equals(a.getArgument(ATermUtils.LIT_URI_INDEX))) return a; } throw new IllegalArgumentException(); }
@Override public ATermAppl getValue(final ATermAppl literal) throws InvalidLiteralException { if (!ATermUtils.isLiteral(literal)) throw new IllegalArgumentException(); if (!_name.equals(literal.getArgument(ATermUtils.LIT_URI_INDEX))) throw new IllegalArgumentException(); return literal; }
@Override public ATermAppl getLiteral(final Object value) { if (value instanceof ATermAppl) { final ATermAppl a = (ATermAppl) value; if (ATermUtils.isLiteral(a)) if (_name.equals(a.getArgument(ATermUtils.LIT_URI_INDEX))) return a; } throw new IllegalArgumentException(); }
@Override public ATermAppl getValue(final ATermAppl literal) throws InvalidLiteralException { if (!ATermUtils.isLiteral(literal)) throw new IllegalArgumentException(); if (!_name.equals(literal.getArgument(ATermUtils.LIT_URI_INDEX))) throw new IllegalArgumentException(); return literal; }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) _isDatatype = true; }
@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { if (!ATermUtils.isLiteral(input)) throw new IllegalArgumentException(); if (!_name.equals(input.getArgument(ATermUtils.LIT_URI_INDEX))) throw new IllegalArgumentException(); return input; }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) _isDatatype = true; }
@Override public ATermAppl getLiteral(final Object value) { if (value instanceof ATermAppl) { final ATermAppl a = (ATermAppl) value; if (ATermUtils.isLiteral(a)) if (_name.equals(a.getArgument(ATermUtils.LIT_URI_INDEX))) return a; } throw new IllegalArgumentException(); }
@Override public Literal addLiteral(final ATermAppl dataValue, final DependencySet ds) { if (dataValue == null || !ATermUtils.isLiteral(dataValue)) throw new InternalReasonerException("Invalid value to create a literal. Value: " + dataValue); return createLiteral(dataValue, ds); }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nom = (ATermAppl) term.getArgument(0); if (!ATermUtils.isLiteral(nom)) _expressivity.addNominal(nom); else _expressivity.setHasUserDefinedDatatype(true); }
protected Node initNode(final ATermAppl name) { if (ATermUtils.isLiteral(name)) return _abox.addLiteral(name); else { _abox.copyOnWrite(); return _abox.getIndividual(name); } }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); _obj = _factory.getOWLDataOneOf((OWLLiteral) _obj); } else _obj = _factory.getOWLObjectOneOf(convertIndividual(nominal)); }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); _obj = _factory.getOWLDataOneOf((OWLLiteral) _obj); } else _obj = _factory.getOWLObjectOneOf(convertIndividual(nominal)); }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); _obj = _factory.getOWLDataOneOf((OWLLiteral) _obj); } else _obj = _factory.getOWLObjectOneOf(convertIndividual(nominal)); }
private static AtomDObject convertAtomDObject(final ATermAppl t) { if (ATermUtils.isVar(t)) return new AtomDVariable(((ATermAppl) t.getArgument(0)).getName()); else if (ATermUtils.isLiteral(t)) return new AtomDConstant(t); throw new InternalReasonerException("Unrecognized term: " + t); }
@Override public void visitOneOf(final ATermAppl term) { final ATermList list = (ATermList) term.getArgument(0); visitList(list); if (list.isEmpty() || !ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) createClassExpression(OWL.oneOf); else createDataExpression(OWL.oneOf); }
private SWRLDArgument parseToAtomDObject(final ATermAppl t) { if (ATermUtils.isVar(t)) return _factory.getSWRLVariable(IRI.create(((ATermAppl) t.getArgument(0)).getName())); else if (ATermUtils.isLiteral(t)) return _factory.getSWRLLiteralArgument((OWLLiteral) _conceptConverter.convert(t)); throw new InternalReasonerException("Unrecognized term: " + t); } }