openllet.aterm.ATermAppl java code examples

Add the Codota plugin to your IDE and get smart completions

private void myMethod () {
 StringBuilder s =new StringBuilder()
new StringBuilder(32)
String str;new StringBuilder(str)
Smart code suggestions by Tabnine
}

@Override
public ATermAppl getTerm()
{
  return _hasValue ? (ATermAppl) _atermValue.getArgument(0) : null;
}

/**
 * To string
 */
@Override
public String toString()
{
  return _node.getName() + "[" + _label + "]";
}

public static boolean isComplexClass(final ATerm c)
{
  if (c instanceof ATermAppl)
  {
    final ATermAppl a = (ATermAppl) c;
    final AFun f = a.getAFun();
    return CLASS_FUN.contains(f);
  }
  return false;
}

public final static boolean isHasValue(final ATermAppl a)
{
  return SOMEFUN.equals(a.getAFun()) && VALUEFUN.equals(((ATermAppl) a.getArgument(1)).getAFun());
}

@Override
public void visitHasValue(final ATermAppl term)
{
  _out.print("(");
  visit((ATermAppl) term.getArgument(0));
  _out.print(" value ");
  final ATermAppl value = (ATermAppl) ((ATermAppl) term.getArgument(1)).getArgument(0);
  if (value.getArity() == 0)
    visitTerm(value);
  else
    visitLiteral(value);
  _out.print(")");
}

private static IRI iri(final ATermAppl term)
{
  if (term.getArity() != 0)
    throw new OWLRuntimeException("Trying to convert an anonymous term " + term);
  return IRI.create(term.getName());
}

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);
}

static public Node makeGraphResource(final ATermAppl term)
{
  if (ATermUtils.isBnode(term))
    return NodeFactory.createBlankNode(new BlankNodeId(((ATermAppl) term.getArgument(0)).getName()));
  else
    if (term.equals(ATermUtils.TOP))
      return OWL.Thing.asNode();
    else
      if (term.equals(ATermUtils.BOTTOM))
        return OWL.Nothing.asNode();
      else
        if (term.equals(ATermUtils.TOP_DATA_PROPERTY))
          return OWL2.topDataProperty.asNode();
        else
          if (term.equals(ATermUtils.BOTTOM_DATA_PROPERTY))
            return OWL2.bottomDataProperty.asNode();
          else
            if (term.equals(ATermUtils.TOP_OBJECT_PROPERTY))
              return OWL2.topObjectProperty.asNode();
            else
              if (term.equals(ATermUtils.BOTTOM_OBJECT_PROPERTY))
                return OWL2.bottomObjectProperty.asNode();
              else
                if (term.getArity() == 0)
                  return NodeFactory.createURI(term.getName());
  //		if (term.getName().equals(ATermUtils.INVFUN.getName()))
  //			return OWL.inverseOf.asNode(); //	term.getArgument(0); // XXX Que devient le parametre ?
  PelletReasoner._logger.warning("Term " + term + " can't be convert into Node");
  return null;
}

  _types[ATOM].remove(c);
else
  if (c.getAFun().equals(ATermUtils.ANDFUN))
    if (c.getAFun().equals(ATermUtils.ALLFUN))
      _types[ALL].remove(c);
    else
      if (c.getAFun().equals(ATermUtils.MINFUN))
        _types[MIN].remove(c);
      else
        if (c.getAFun().equals(ATermUtils.NOTFUN))
          final ATermAppl x = (ATermAppl) c.getArgument(0);
          if (ATermUtils.isAnd(x))
            _types[OR].remove(c);
                  _types[ATOM].remove(c);
                else
                  if (x.getArity() == 0)
                    _types[ATOM].remove(c);
                  else
          if (c.getAFun().equals(ATermUtils.VALUEFUN))
            _types[NOM].remove(c);
          else

if (1 != c.getArity())
  throw new OpenError("arity isn't 1.");
if (1 == c.getArity())
  final ATerm arg = c.getArgument(0);
  if (arg instanceof ATermList)
    for (final ATerm term : (ATermList) arg)
  for (final ATerm term : c.getArgumentArray())
    terms = retrieve((ATermAppl) term, terms);

final AFun fun = arg.getAFun();
final Integer key = _applSignatures.get(fun);
if (key == null)
  if (arg.isQuoted())
    header = (byte) (header | APPLQUOTED);
  _currentBuffer.put(header);
  writeInt(arg.getArity());

@Override
public boolean isAnon()
{
  return _name.getArity() != 0;
}

@Override
public RestrictedDatatype<ATermAppl> applyConstrainingFacet(final ATermAppl facet, final Object value) throws InvalidConstrainingFacetException
  final String name = facet.getName().substring(BuiltinNamespace.XSD.getURI().length());
      final ATermAppl payload = (ATermAppl) term.getChildAt(0); // The 'pattern'.
      final Pattern pattern = Pattern.compile(payload.getName());
      return new RestrictedTextDatatype(_dt, _check.and(str -> pattern.matcher(str).matches()), _allowLang, _excludedValues);
      throw new UnsupportedOperationException(facet.getName() + " is an unknow restriction");

if (_fun.equals(appl.getAFun()))
  return matchArguments(appl.getArgumentArray(), list);
return false;
  final AFun afun = appl.getAFun();
  if (afun.getName().equals("appl") && !afun.isQuoted())
    return matchArguments(appl.getArgumentArray(), list);
        return matchArguments(appl.getArgumentArray(), list);
          return matchArguments(appl.getArgumentArray(), list);
            return matchArguments(appl.getArgumentArray(), list);

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);
}

static public Node makeGraphResource(final ATermAppl term)
{
  if (ATermUtils.isBnode(term))
    return NodeFactory.createBlankNode(new BlankNodeId(((ATermAppl) term.getArgument(0)).getName()));
  else
    if (term.equals(ATermUtils.TOP))
      return OWL.Thing.asNode();
    else
      if (term.equals(ATermUtils.BOTTOM))
        return OWL.Nothing.asNode();
      else
        if (term.equals(ATermUtils.TOP_DATA_PROPERTY))
          return OWL2.topDataProperty.asNode();
        else
          if (term.equals(ATermUtils.BOTTOM_DATA_PROPERTY))
            return OWL2.bottomDataProperty.asNode();
          else
            if (term.equals(ATermUtils.TOP_OBJECT_PROPERTY))
              return OWL2.topObjectProperty.asNode();
            else
              if (term.equals(ATermUtils.BOTTOM_OBJECT_PROPERTY))
                return OWL2.bottomObjectProperty.asNode();
              else
                if (term.getArity() == 0)
                  return NodeFactory.createURI(term.getName());
  //		if (term.getName().equals(ATermUtils.INVFUN.getName()))
  //			return OWL.inverseOf.asNode(); //	term.getArgument(0); // XXX Que devient le parametre ?
  PelletReasoner._logger.warning("Term " + term + " can't be convert into Node");
  return null;
}

  _types[ATOM].remove(c);
else
  if (c.getAFun().equals(ATermUtils.ANDFUN))
    if (c.getAFun().equals(ATermUtils.ALLFUN))
      _types[ALL].remove(c);
    else
      if (c.getAFun().equals(ATermUtils.MINFUN))
        _types[MIN].remove(c);
      else
        if (c.getAFun().equals(ATermUtils.NOTFUN))
          final ATermAppl x = (ATermAppl) c.getArgument(0);
          if (ATermUtils.isAnd(x))
            _types[OR].remove(c);
                  _types[ATOM].remove(c);
                else
                  if (x.getArity() == 0)
                    _types[ATOM].remove(c);
                  else
          if (c.getAFun().equals(ATermUtils.VALUEFUN))
            _types[NOM].remove(c);
          else

@Override
public void visitHasValue(final ATermAppl term)
{
  _out.print("(");
  visit((ATermAppl) term.getArgument(0));
  _out.print(" value ");
  final ATermAppl value = (ATermAppl) ((ATermAppl) term.getArgument(1)).getArgument(0);
  if (value.getArity() == 0)
    visitTerm(value);
  else
    visitLiteral(value);
  _out.print(")");
}

private static IRI iri(final ATermAppl term)
{
  if (term.getArity() != 0)
    throw new OWLRuntimeException("Trying to convert an anonymous term " + term);
  return IRI.create(term.getName());
}

if (1 != c.getArity())
  throw new OpenError("arity isn't 1.");
if (1 == c.getArity())
  final ATerm arg = c.getArgument(0);
  if (arg instanceof ATermList)
    for (final ATerm term : (ATermList) arg)
  for (final ATerm term : c.getArgumentArray())
    terms = retrieve((ATermAppl) term, terms);

Javadoc

An ATermAppl represents a function application.

Most used methods

getArgument
getName
getAFun
getArity
getArgumentArray
Gets the arguments of this application as an array of ATerm objects.
getChildAt
getArguments
Gets the arguments of this application.
getType
isEqual
isQuoted
Checks if this application is quoted. A quoted application looks like this: "foo", whereas an unquot
setArgument
Sets a specific argument of this application.

setArgument

Popular in Java

Reactive rest calls using spring rest template
getExternalFilesDir (Context)
scheduleAtFixedRate (Timer)
scheduleAtFixedRate (ScheduledExecutorService)
Pointer (com.sun.jna)
An abstraction for a native pointer data type. A Pointer instance represents, on the Java side, a na
InetAddress (java.net)
An Internet Protocol (IP) address. This can be either an IPv4 address or an IPv6 address, and in pra
SecureRandom (java.security)
This class generates cryptographically secure pseudo-random numbers. It is best to invoke SecureRand
DecimalFormat (java.text)
A concrete subclass of NumberFormat that formats decimal numbers. It has a variety of features desig
StringTokenizer (java.util)
Breaks a string into tokens; new code should probably use String#split.> // Legacy code: StringTo
LoggerFactory (org.slf4j)
The LoggerFactory is a utility class producing Loggers for various logging APIs, most notably for lo
PhpStorm for WordPress

How to useATermAppl in openllet.aterm

Best Java code snippets using openllet.aterm.ATermAppl (Showing top 20 results out of 315)

How to use
ATermAppl
in
openllet.aterm