@Override public boolean isAnon() { return _name.getArity() != 0; }
@Override public boolean isAnon() { return _name.getArity() != 0; }
public static final boolean isPrimitive(final ATermAppl c) { return c.getArity() == 0; }
public static final boolean isPrimitive(final ATermAppl c) { return c.getArity() == 0; }
NamedDatatype(final ATermAppl name, final RestrictedDatatype<T> range) { if (name == null) throw new NullPointerException(); if (name.getArity() != 0) throw new IllegalArgumentException(); _name = name; _range = range; }
NamedDatatype(final ATermAppl name, final RestrictedDatatype<T> range) { if (name == null) throw new NullPointerException(); if (name.getArity() != 0) throw new IllegalArgumentException(); _name = name; _range = range; }
protected AbstractBaseDatatype(final ATermAppl name) { if (name == null) throw new NullPointerException(); if (name.getArity() != 0) throw new IllegalArgumentException(); this._name = name; this._hashCode = name.hashCode(); }
protected AbstractBaseDatatype(final ATermAppl name) { if (name == null) throw new NullPointerException(); if (name.getArity() != 0) throw new IllegalArgumentException(); this._name = name; this._hashCode = name.hashCode(); }
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 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 IRI iri(final ATermAppl term) { if (term.getArity() != 0) throw new OWLRuntimeException("Trying to convert an anonymous term " + term); return IRI.create(term.getName()); }
@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(")"); }
@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(")"); }
@Override public void validateTypes(final Individual node, final List<ATermAppl> negatedTypes) { for (int i = 0, n = negatedTypes.size(); i < n; i++) { final ATermAppl a = negatedTypes.get(i); if (a.getArity() == 0) continue; final ATermAppl notA = (ATermAppl) a.getArgument(0); if (node.hasType(notA)) { if (!node.hasType(a)) throw new InternalReasonerException("Invalid type found: " + node + " " + " " + a + " " + node.debugString() + " " + node._depends); throw new InternalReasonerException("Clash found: " + node + " " + a + " " + node.debugString() + " " + node._depends); } } }
@Override public void validateTypes(final Individual node, final List<ATermAppl> negatedTypes) { for (int i = 0, n = negatedTypes.size(); i < n; i++) { final ATermAppl a = negatedTypes.get(i); if (a.getArity() == 0) continue; final ATermAppl notA = (ATermAppl) a.getArgument(0); if (node.hasType(notA)) { if (!node.hasType(a)) throw new InternalReasonerException("Invalid type found: " + node + " " + " " + a + " " + node.debugString() + " " + node._depends); throw new InternalReasonerException("Clash found: " + node + " " + a + " " + node.debugString() + " " + node._depends); } } }
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; }
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; }
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; }
private boolean absorbII(final Set<ATermAppl> set) { for (final ATermAppl term : set) { final TermDefinition td = _tbox._Tu.getTD(term); boolean canAbsorb; if (td != null) canAbsorb = td.getEqClassAxioms().isEmpty(); else canAbsorb = term.getArity() == 0 && set.size() > 1; if (canAbsorb) { set.remove(term); final ATermList setlist = ATermUtils.makeList(set); ATermAppl conjunct = ATermUtils.makeAnd(setlist); conjunct = ATermUtils.makeNot(conjunct); final ATermAppl sub = ATermUtils.makeSub(term, ATermUtils.nnf(conjunct)); _tbox._Tu.addDef(sub); _subLogger.fine(() -> "Absorb named: " + ATermUtils.toString(sub)); _tbox.addAxiomExplanation(sub, _explanation); return true; } } return false; }
private boolean absorbII(final Set<ATermAppl> set) { for (final ATermAppl term : set) { final TermDefinition td = _tbox._Tu.getTD(term); boolean canAbsorb; if (td != null) canAbsorb = td.getEqClassAxioms().isEmpty(); else canAbsorb = term.getArity() == 0 && set.size() > 1; if (canAbsorb) { set.remove(term); final ATermList setlist = ATermUtils.makeList(set); ATermAppl conjunct = ATermUtils.makeAnd(setlist); conjunct = ATermUtils.makeNot(conjunct); final ATermAppl sub = ATermUtils.makeSub(term, ATermUtils.nnf(conjunct)); _tbox._Tu.addDef(sub); _subLogger.fine(() -> "Absorb named: " + ATermUtils.toString(sub)); _tbox.addAxiomExplanation(sub, _explanation); return true; } } return false; }