How to use

getArgument

method

in

openllet.aterm.ATermAppl

  @Override
  public void visitRestrictedDatatype(final ATermAppl dt)
  {
    isDatatype((ATermAppl) dt.getArgument(0));
  }
}

@Override
public void visitHasValue(final ATermAppl term)
{
  visitRole((ATermAppl) term.getArgument(0));
  visitValue((ATermAppl) term.getArgument(1));
}

/**
 * {@inheritDoc}
 */
@Override
public void visitInverse(final ATermAppl p)
{
  final OWLObjectProperty prop = (OWLObjectProperty) convert((ATermAppl) p.getArgument(0));
  _obj = _factory.getOWLObjectInverseOf(prop);
}

@Override
public void visitSelf(final ATermAppl term)
{
  visit((ATermAppl) term.getArgument(0));
  final OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) _obj;
  _obj = _factory.getOWLObjectHasSelf(prop);
}

private Node createQualifiedRestriction(final ATermAppl term, final Property restrType)
{
  final Node restr = createRestriction(term, restrType);
  final Node qual = convert(term.getArgument(2));
  if (!ATermUtils.isTop((ATermAppl) term.getArgument(2)))
    TripleAdder.add(_graph, restr, OWL2.onClass, qual);
  _obj = restr;
  return restr;
}

@Override
public void visitAnd(final ATermAppl term)
{
  visitList((ATermList) term.getArgument(0));
  createClassExpression(OWL.intersectionOf);
}

@Override
public void visitNot(final ATermAppl term)
{
  visit((ATermAppl) term.getArgument(0));
  createClassExpression(OWL.complementOf);
}

@Override
public void visitOneOf(final ATermAppl term)
{
  _expressivity.setHasNegation(true);
  visitList((ATermList) term.getArgument(0));
}

public String invalidLiteralExplanation()
{
  final ATermAppl literal = (ATermAppl) _args[0];
  final ATermAppl datatype = (ATermAppl) literal.getArgument(2);
  return "Literal value " + ATermUtils.toString(literal) + " is not valid for the rdatatype " + ATermUtils.toString(datatype);
}

private Optional<Node> convertAtomObject(final ATermAppl t)
{
  if (ATermUtils.isVar(t))
  {
    final Optional<Node> node = JenaUtils.makeGraphNode((ATermAppl) t.getArgument(0));
    if (node.isPresent())
      TripleAdder.add(_graph, node.get(), RDF.type, SWRL.Variable);
    return node;
  }
  else
    return JenaUtils.makeGraphNode(t);
}

private Node createRestriction(final ATermAppl term, final Property restrType)
{
  final Node restr = NodeFactory.createBlankNode();
  final Node prop = convert(term.getArgument(0));
  final Node val = convert(term.getArgument(1));
  TripleAdder.add(_graph, restr, RDF.type, OWL.Restriction);
  TripleAdder.add(_graph, restr, OWL.onProperty, prop);
  TripleAdder.add(_graph, restr, restrType, val);
  _obj = restr;
  return restr;
}

@Override
public void visitInverse(final ATermAppl term)
{
  final ATermAppl p = (ATermAppl) term.getArgument(0);
  if (ATermUtils.isPrimitive(p))
    _fullyDefined = _fullyDefined && isProperty(p);
  else
    visitInverse(p);
}

@Override
public CachedNode getCached(final ATermAppl c)
{
  if (ATermUtils.isNominal(c))
    return getIndividual(c.getArgument(0)).getSame();
  else
    return _cache.get(c);
}

@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 visitAnd(final ATermAppl term)
{
  visitList((ATermList) term.getArgument(0));
  if (_obj instanceof OWLClassExpression)
    _obj = _factory.getOWLObjectIntersectionOf(dynamicCastTheSet(_set, OWLClassExpression.class));
  else
    if (_obj instanceof OWLDataRange)
      _obj = _factory.getOWLDataIntersectionOf(dynamicCastTheSet(_set, OWLDataRange.class));
}

@Override
public void visitOr(final ATermAppl term)
{
  visitList((ATermList) term.getArgument(0));
  if (_obj instanceof OWLClassExpression)
    _obj = _factory.getOWLObjectUnionOf(dynamicCastTheSet(_set, OWLClassExpression.class));
  else
    if (_obj instanceof OWLDataRange)
      _obj = _factory.getOWLDataUnionOf(dynamicCastTheSet(_set, OWLDataRange.class));
}

@Override
public void visitSelf(final ATermAppl term)
{
  final Node restr = NodeFactory.createBlankNode();
  final Node prop = convert(term.getArgument(0));
  TripleAdder.add(_graph, restr, RDF.type, OWL.Restriction);
  TripleAdder.add(_graph, restr, OWL.onProperty, prop);
  TripleAdder.add(_graph, restr, OWL2.hasSelf, JenaUtils.XSD_BOOLEAN_TRUE);
  _obj = restr;
}

private void convertNary(final ATermAppl axiom, final Resource type, final Property p)
{
  final Node n = NodeFactory.createBlankNode();
  TripleAdder.add(_graph, n, RDF.type, type);
  final ATermList concepts = (ATermList) axiom.getArgument(0);
  _converter.visitList(concepts);
  TripleAdder.add(_graph, n, p, _converter.getResult());
}

@Override
public T getValue(final ATermAppl literal) throws InvalidLiteralException
{
  final T value = _range.getDatatype().getValue(literal);
  if (!_range.contains(value))
    throw new InvalidLiteralException(_name, literal.getArgument(ATermUtils.LIT_VAL_INDEX).toString());
  return value;
}

private SWRLIArgument parseToAtomIObject(final ATermAppl t)
{
  if (ATermUtils.isVar(t))
    return _factory.getSWRLVariable(IRI.create(((ATermAppl) t.getArgument(0)).getName()));
  if (_kb.isIndividual(t))
    return _factory.getSWRLIndividualArgument(_conceptConverter.convertIndividual(t));
  throw new InternalReasonerException("Unrecognized term: " + t);
}