/** * Gets the IndividualNodeSetPolicy in use by this reasoner. The policy is * set at reasoner creation time. * * @return The policy. */ @Nonnull @Override public IndividualNodeSetPolicy getIndividualNodeSetPolicy() { return structuralReasoner.getIndividualNodeSetPolicy(); }
/** * Gets the IndividualNodeSetPolicy in use by this reasoner. The policy is * set at reasoner creation time. * * @return The policy. */ @Nonnull @Override public IndividualNodeSetPolicy getIndividualNodeSetPolicy() { return structuralReasoner.getIndividualNodeSetPolicy(); }
@Override public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLNamedIndividual> result = new OWLNamedIndividualNodeSet(); if (ce.isAnonymous()) { return result; } OWLClass cls = ce.asOWLClass(); Set<OWLClass> clses = new HashSet<>(); clses.add(cls); if (!direct) { clses.addAll(asList(getSubClasses(cls, false).entities())); } for (OWLClass curCls : clses) { getRootOntology().importsClosure().flatMap(o -> o.classAssertionAxioms(curCls)) .map(ax -> ax .getIndividual()).filter(i -> !i.isAnonymous()) .map(i -> i.asOWLNamedIndividual()).forEach(i -> { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(i)); } else { result.addNode(new OWLNamedIndividualNode(i)); } }); } return result; }
@Override public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLNamedIndividual> result = new OWLNamedIndividualNodeSet(); if (ce.isAnonymous()) { return result; } OWLClass cls = ce.asOWLClass(); Set<OWLClass> clses = new HashSet<>(); clses.add(cls); if (!direct) { clses.addAll(asList(getSubClasses(cls, false).entities())); } for (OWLClass curCls : clses) { getRootOntology().importsClosure().flatMap(o -> o.classAssertionAxioms(curCls)) .map(ax -> ax .getIndividual()).filter(i -> !i.isAnonymous()) .map(i -> i.asOWLNamedIndividual()).forEach(i -> { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(i)); } else { result.addNode(new OWLNamedIndividualNode(i)); } }); } return result; }
@Override public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLNamedIndividual> result = new OWLNamedIndividualNodeSet(); if (ce.isAnonymous()) { return result; } OWLClass cls = ce.asOWLClass(); Set<OWLClass> clses = new HashSet<>(); clses.add(cls); if (!direct) { clses.addAll(asList(getSubClasses(cls, false).entities())); } for (OWLClass curCls : clses) { getRootOntology().importsClosure().flatMap(o -> o.classAssertionAxioms(curCls)) .map(ax -> ax .getIndividual()).filter(i -> !i.isAnonymous()) .map(i -> i.asOWLNamedIndividual()).forEach(i -> { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(i)); } else { result.addNode(new OWLNamedIndividualNode(i)); } }); } return result; }
@Override public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce, boolean direct) { ensurePrepared(); DefaultNodeSet<OWLNamedIndividual> result = new OWLNamedIndividualNodeSet(); if (ce.isAnonymous()) { return result; } OWLClass cls = ce.asOWLClass(); Set<OWLClass> clses = new HashSet<>(); clses.add(cls); if (!direct) { clses.addAll(asList(getSubClasses(cls, false).entities())); } for (OWLClass curCls : clses) { getRootOntology().importsClosure().flatMap(o -> o.classAssertionAxioms(curCls)) .map(ax -> ax .getIndividual()).filter(i -> !i.isAnonymous()) .map(i -> i.asOWLNamedIndividual()).forEach(i -> { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(i)); } else { result.addNode(new OWLNamedIndividualNode(i)); } }); } return result; }
public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce, boolean direct) throws InconsistentOntologyException, ClassExpressionNotInProfileException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); DefaultNodeSet<OWLNamedIndividual> result = new OWLNamedIndividualNodeSet(); if (!ce.isAnonymous()) { OWLClass cls = ce.asOWLClass(); Set<OWLClass> clses = new HashSet<OWLClass>(); clses.add(cls); if (!direct) { clses.addAll(getSubClasses(cls, false).getFlattened()); } for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLClass curCls : clses) { for (OWLClassAssertionAxiom axiom : ontology.getClassAssertionAxioms(curCls)) { OWLIndividual individual = axiom.getIndividual(); if (!individual.isAnonymous()) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(individual.asOWLNamedIndividual())); } else { result.addNode(new OWLNamedIndividualNode(individual.asOWLNamedIndividual())); } } } } } } return result; }
if (!axiom.getObject().isAnonymous() && axiom.getProperty().getSimplified() .equals(pe.getSimplified())) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result .addNode(getSameIndividuals(axiom.getObject().asOWLNamedIndividual())); .getSimplified(); if (!invPe.isAnonymous() && inverses.contains(invPe.asOWLObjectProperty())) { if (getIndividualNodeSetPolicy() .equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(
if (!axiom.getObject().isAnonymous() && axiom.getProperty().getSimplified() .equals(pe.getSimplified())) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result .addNode(getSameIndividuals(axiom.getObject().asOWLNamedIndividual())); .getSimplified(); if (!invPe.isAnonymous() && inverses.contains(invPe.asOWLObjectProperty())) { if (getIndividualNodeSetPolicy() .equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(
if (!axiom.getObject().isAnonymous() && axiom.getProperty().getSimplified() .equals(pe.getSimplified())) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result .addNode(getSameIndividuals(axiom.getObject().asOWLNamedIndividual())); .getSimplified(); if (!invPe.isAnonymous() && inverses.contains(invPe.asOWLObjectProperty())) { if (getIndividualNodeSetPolicy() .equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(
if (!axiom.getObject().isAnonymous() && axiom.getProperty().getSimplified() .equals(pe.getSimplified())) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result .addNode(getSameIndividuals(axiom.getObject().asOWLNamedIndividual())); .getSimplified(); if (!invPe.isAnonymous() && inverses.contains(invPe.asOWLObjectProperty())) { if (getIndividualNodeSetPolicy() .equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(
if (!axiom.getObject().isAnonymous()) { if (axiom.getProperty().getSimplified().equals(pe.getSimplified())) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(axiom.getObject().asOWLNamedIndividual())); OWLObjectPropertyExpression invPe = axiom.getProperty().getInverseProperty().getSimplified(); if (!invPe.isAnonymous() && inverses.contains(invPe.asOWLObjectProperty())) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(axiom.getObject().asOWLNamedIndividual()));
if (!axiom.getObject().isAnonymous()) { if (axiom.getProperty().getSimplified().equals(pe.getSimplified())) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(axiom.getObject().asOWLNamedIndividual())); OWLObjectPropertyExpression invPe = axiom.getProperty().getInverseProperty().getSimplified(); if (!invPe.isAnonymous() && inverses.contains(invPe.asOWLObjectProperty())) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(axiom.getObject().asOWLNamedIndividual()));
public NodeSet<OWLNamedIndividual> getInstances(OWLClassExpression ce, boolean direct) throws InconsistentOntologyException, ClassExpressionNotInProfileException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { DefaultNodeSet<OWLNamedIndividual> result = new OWLNamedIndividualNodeSet(); if (!ce.isAnonymous()) { OWLClass cls = ce.asOWLClass(); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLClassAssertionAxiom axiom : ontology.getClassAssertionAxioms(cls)) { OWLIndividual individual = axiom.getIndividual(); if (!individual.isAnonymous()) { if (getIndividualNodeSetPolicy().equals(IndividualNodeSetPolicy.BY_SAME_AS)) { result.addNode(getSameIndividuals(individual.asOWLNamedIndividual())); } else { result.addNode(new OWLNamedIndividualNode(individual.asOWLNamedIndividual())); } if (!direct) { for (Node<OWLClass> node : getSubClasses(ce, false)) { for (OWLClass c : node.getEntities()) { result.addAllNodes(getInstances(c, true).getNodes()); } } } } } } } return result; }