if (afun.getName().equals("appl") && !afun.isQuoted()) list.add(_fun.getName()); return matchArguments(appl.getArgumentArray(), list); if (afun.getName().equals("str") && !afun.isQuoted()) if (_fun.isQuoted()) list.add(_fun.getName()); return matchArguments(appl.getArgumentArray(), list); if (afun.getName().equals("fun") && !afun.isQuoted()) if (!_fun.isQuoted()) list.add(_fun.getName()); return matchArguments(appl.getArgumentArray(), list); if (afun.getName().equals("id") && !afun.isQuoted()) if (!_fun.isQuoted()) list.add(_fun.getName()); return matchArguments(appl.getArgumentArray(), list);
@Override public String getName() { return _fun.getName(); }
visitTerm(OWL_NOTHING); else if (af.getArity() == 0) visitTerm(term); else
@Override public boolean isQuoted() { return _fun.isQuoted(); }
final String name = fun.getName(); final byte[] nameBytes = name.getBytes(); final int length = nameBytes.length;
visitTerm(OWL_NOTHING); else if (af.getArity() == 0) visitTerm(term); else
@Override public OWLObjectPropertyExpression map(final ATermAppl term) { if (ATermUtils.TOP_OBJECT_PROPERTY.equals(term)) return _factory.getOWLTopObjectProperty(); if (ATermUtils.BOTTOM_OBJECT_PROPERTY.equals(term)) return _factory.getOWLBottomObjectProperty(); if (ATermUtils.isInv(term)) try { final IRI iri = IRI.create(((ATermAppl) term.getArgument(0)).getAFun().getName()); return _factory.getOWLObjectProperty(iri).getInverseProperty(); } catch (final Exception e) { e.printStackTrace(); } return _factory.getOWLObjectProperty(iri(term)); } }
final int arity = fun.getArity();
protected boolean match(final ATerm pattern, final List<Object> list) { if (pattern.getType() == PLACEHOLDER) { final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) type; final AFun afun = appl.getAFun(); if (afun.getName().equals("term") && afun.getArity() == 0 && !afun.isQuoted()) { list.add(this); return true; } } } return false; }
sb.append(ORFUN.getName()); else if (ORFUN.equals(fun)) sb.append(ANDFUN.getName()); else if (SOMEFUN.equals(fun)) sb.append(ALLFUN.getName()); else if (ALLFUN.equals(fun)) sb.append(SOMEFUN.getName()); else if (MINFUN.equals(fun)) sb.append(MAXFUN.getName()); else if (MAXFUN.equals(fun)) sb.append(MINFUN.getName()); else if (!NOTFUN.equals(fun)) sb.append(fun.getName()); sb.append(fun.getName());
final int arity = e.arity = fun.getArity();
private static boolean isListPlaceHolder(final ATerm pattern) { if (pattern.getType() == ATerm.PLACEHOLDER) { final ATerm type = ((ATermPlaceholder) pattern).getPlaceholder(); if (type.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) type; final AFun afun = appl.getAFun(); if (afun.getName().equals("list") && afun.getArity() == 0 && !afun.isQuoted()) return true; } } return false; }
sb.append(ORFUN.getName()); else if (ORFUN.equals(fun)) sb.append(ANDFUN.getName()); else if (SOMEFUN.equals(fun)) sb.append(ALLFUN.getName()); else if (ALLFUN.equals(fun)) sb.append(SOMEFUN.getName()); else if (MINFUN.equals(fun)) sb.append(MAXFUN.getName()); else if (MAXFUN.equals(fun)) sb.append(MINFUN.getName()); else if (!NOTFUN.equals(fun)) sb.append(fun.getName()); sb.append(fun.getName());
@Override public boolean match(final ATerm pattern, final List<Object> list) { if (pattern.getType() == ATerm.PLACEHOLDER) { final ATerm t = ((ATermPlaceholder) pattern).getPlaceholder(); if (t.getType() == ATerm.APPL) { final ATermAppl appl = (ATermAppl) t; final AFun afun = appl.getAFun(); if (afun.getName().equals("placeholder") && afun.getArity() == 0 && !afun.isQuoted()) { list.add(t); return true; } } } return super.match(pattern, list); }
@Override public OWLObjectPropertyExpression map(final ATermAppl term) { if (ATermUtils.TOP_OBJECT_PROPERTY.equals(term)) return _factory.getOWLTopObjectProperty(); if (ATermUtils.BOTTOM_OBJECT_PROPERTY.equals(term)) return _factory.getOWLBottomObjectProperty(); if (ATermUtils.isInv(term)) try { final IRI iri = IRI.create(((ATermAppl) term.getArgument(0)).getAFun().getName()); return _factory.getOWLObjectProperty(iri).getInverseProperty(); } catch (final Exception e) { e.printStackTrace(); } return _factory.getOWLObjectProperty(iri(term)); } }