public boolean isBnode() { return ATermUtils.isBnode(_name); }
public boolean isBnode() { return ATermUtils.isBnode(_name); }
@Override public OWLNamedIndividual map(final ATermAppl term) { if (ATermUtils.isBnode(term)) return null; else return _factory.getOWLNamedIndividual(iri(term)); } }
@Override public OWLNamedIndividual map(final ATermAppl term) { if (ATermUtils.isBnode(term)) return null; else return _factory.getOWLNamedIndividual(iri(term)); } }
@Override public OWLNamedIndividual map(final ATermAppl term) { if (ATermUtils.isBnode(term)) return null; else return _factory.getOWLNamedIndividual(iri(term)); } }
if (ATermUtils.isBnode(x)) anonCount++; else
if (ATermUtils.isBnode(x)) anonCount++; else
private static OWLNamedIndividual termToOWLNamedIndividual(final ATermAppl c, final OWLDataFactory factory) { if (!ATermUtils.isBnode(c)) return factory.getOWLNamedIndividual(IRI.create(c.getName())); return null; }
private static OWLNamedIndividual termToOWLNamedIndividual(final ATermAppl c, final OWLDataFactory factory) { if (!ATermUtils.isBnode(c)) return factory.getOWLNamedIndividual(IRI.create(c.getName())); return null; }
private static OWLClass termToOWLClass(final ATermAppl c, final OWLDataFactory factory) { if (c.equals(ATermUtils.TOP)) return factory.getOWLThing(); else if (c.equals(OWL_THING)) return factory.getOWLThing(); else if (c.equals(OWL_NOTHING)) return factory.getOWLNothing(); if (!ATermUtils.isBnode(c)) return factory.getOWLClass(IRI.create(c.getName())); return null; }
private static OWLClass termToOWLClass(final ATermAppl c, final OWLDataFactory factory) { if (c.equals(ATermUtils.TOP)) return factory.getOWLThing(); else if (c.equals(OWL_THING)) return factory.getOWLThing(); else if (c.equals(OWL_NOTHING)) return factory.getOWLNothing(); if (!ATermUtils.isBnode(c)) return factory.getOWLClass(IRI.create(c.getName())); return null; }
for (final ATermAppl instance : instances) if (ATermUtils.isBnode(instance)) return;
public OWLIndividual convertIndividual(final ATermAppl term) { IRI iri = null; if (!ATermUtils.isBnode(term)) iri = IRI.create(term.getName()); if (_kb.isIndividual(term)) { if (ATermUtils.isBnode(term)) return _factory.getOWLAnonymousIndividual(((ATermAppl) term.getArgument(0)).getName()); else return _factory.getOWLNamedIndividual(iri); } else throw new InternalReasonerException("Cannot convert _individual: " + term); }
public OWLIndividual convertIndividual(final ATermAppl term) { IRI iri = null; if (!ATermUtils.isBnode(term)) iri = IRI.create(term.getName()); if (_kb.isIndividual(term)) { if (ATermUtils.isBnode(term)) return _factory.getOWLAnonymousIndividual(((ATermAppl) term.getArgument(0)).getName()); else return _factory.getOWLNamedIndividual(iri); } else throw new InternalReasonerException("Cannot convert _individual: " + term); }
public OWLIndividual convertIndividual(final ATermAppl term) { IRI iri = null; if (!ATermUtils.isBnode(term)) iri = IRI.create(term.getName()); if (_kb.isIndividual(term)) { if (ATermUtils.isBnode(term)) return _factory.getOWLAnonymousIndividual(((ATermAppl) term.getArgument(0)).getName()); else return _factory.getOWLNamedIndividual(iri); } else throw new InternalReasonerException("Cannot convert _individual: " + term); }
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 static MultiValueMap<ATermAppl, Role> collectNeighbors(final CachedNode ind) { final MultiValueMap<ATermAppl, Role> neighbors = new MultiValueMap<>(); for (final Edge edge : ind.getInEdges()) { final Role role = edge.getRole(); final ATermAppl neighbor = edge.getFromName(); if (!ATermUtils.isBnode(neighbor)) neighbors.putSingle(neighbor, role); } for (final Edge edge : ind.getOutEdges()) { final Role role = edge.getRole(); final ATermAppl neighbor = edge.getToName(); if (role.isObjectRole() && !ATermUtils.isBnode(neighbor)) neighbors.putSingle(neighbor, role.getInverse()); } return neighbors; }
private static MultiValueMap<ATermAppl, Role> collectNeighbors(final CachedNode ind) { final MultiValueMap<ATermAppl, Role> neighbors = new MultiValueMap<>(); for (final Edge edge : ind.getInEdges()) { final Role role = edge.getRole(); final ATermAppl neighbor = edge.getFromName(); if (!ATermUtils.isBnode(neighbor)) neighbors.putSingle(neighbor, role); } for (final Edge edge : ind.getOutEdges()) { final Role role = edge.getRole(); final ATermAppl neighbor = edge.getToName(); if (role.isObjectRole() && !ATermUtils.isBnode(neighbor)) neighbors.putSingle(neighbor, role.getInverse()); } return neighbors; }