@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 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);
@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(")"); }
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);