@Override protected Set<OWLSameIndividualAxiom> getAxiomsInOntology(OWLNamedIndividual subject, OWLOntology ontology) { return ontology.getSameIndividualAxioms(subject); }
@Override @Deprecated public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual owlIndividual) { return withReadLock(() -> delegate.getSameIndividualAxioms(owlIndividual)); }
public Set<OWLIndividual> getSameIndividuals(OWLOntology ontology) { Set<OWLIndividual> result = new TreeSet<OWLIndividual>(); for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(this)) { result.addAll(ax.getIndividuals()); } result.remove(this); return result; }
@Override @Deprecated public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual owlIndividual) { return withReadLock(() -> delegate.getSameIndividualAxioms(owlIndividual)); }
@Override @Deprecated public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual owlIndividual) { return withReadLock(() -> delegate.getSameIndividualAxioms(owlIndividual)); }
@Override @Deprecated public Set<OWLSameIndividualAxiom> getSameIndividualAxioms(OWLIndividual owlIndividual) { return withReadLock(() -> delegate.getSameIndividualAxioms(owlIndividual)); }
public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { Set<OWLNamedIndividual> inds = new HashSet<OWLNamedIndividual>(); Set<OWLSameIndividualAxiom> processed = new HashSet<OWLSameIndividualAxiom>(); List<OWLNamedIndividual> stack = new ArrayList<OWLNamedIndividual>(); stack.add(ind); while (!stack.isEmpty()) { OWLNamedIndividual currentInd = stack.remove(0); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLSameIndividualAxiom axiom : ontology.getSameIndividualAxioms(currentInd)) { if (!processed.contains(axiom)) { processed.add(axiom); for (OWLIndividual i : axiom.getIndividuals()) { if (!i.isAnonymous()) { OWLNamedIndividual namedInd = ind.asOWLNamedIndividual(); if (!inds.contains(namedInd)) { inds.add(namedInd); stack.add(ind); } } } } } } } return new OWLNamedIndividualNode(inds); }
@Nonnull @Override public Node<OWLNamedIndividual> getSameIndividuals(@Nonnull OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); Set<OWLNamedIndividual> inds = new HashSet<>(); Set<OWLSameIndividualAxiom> processed = new HashSet<>(); List<OWLNamedIndividual> stack = new ArrayList<>(); stack.add(ind); while (!stack.isEmpty()) { OWLNamedIndividual currentInd = stack.remove(0); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLSameIndividualAxiom axiom : ontology.getSameIndividualAxioms(currentInd)) { if (!processed.contains(axiom)) { processed.add(axiom); for (OWLIndividual i : axiom.getIndividuals()) { if (!i.isAnonymous()) { OWLNamedIndividual namedInd = i.asOWLNamedIndividual(); if (!inds.contains(namedInd)) { inds.add(namedInd); stack.add(namedInd); } } } } } } } return new OWLNamedIndividualNode(inds); }
public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); Set<OWLNamedIndividual> inds = new HashSet<OWLNamedIndividual>(); Set<OWLSameIndividualAxiom> processed = new HashSet<OWLSameIndividualAxiom>(); List<OWLNamedIndividual> stack = new ArrayList<OWLNamedIndividual>(); stack.add(ind); while (!stack.isEmpty()) { OWLNamedIndividual currentInd = stack.remove(0); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLSameIndividualAxiom axiom : ontology.getSameIndividualAxioms(currentInd)) { if (!processed.contains(axiom)) { processed.add(axiom); for (OWLIndividual i : axiom.getIndividuals()) { if (!i.isAnonymous()) { OWLNamedIndividual namedInd = i.asOWLNamedIndividual(); if (!inds.contains(namedInd)) { inds.add(namedInd); stack.add(namedInd); } } } } } } } return new OWLNamedIndividualNode(inds); }
public Node<OWLNamedIndividual> getSameIndividuals(OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { ensurePrepared(); Set<OWLNamedIndividual> inds = new HashSet<OWLNamedIndividual>(); Set<OWLSameIndividualAxiom> processed = new HashSet<OWLSameIndividualAxiom>(); List<OWLNamedIndividual> stack = new ArrayList<OWLNamedIndividual>(); stack.add(ind); while (!stack.isEmpty()) { OWLNamedIndividual currentInd = stack.remove(0); for (OWLOntology ontology : getRootOntology().getImportsClosure()) { for (OWLSameIndividualAxiom axiom : ontology.getSameIndividualAxioms(currentInd)) { if (!processed.contains(axiom)) { processed.add(axiom); for (OWLIndividual i : axiom.getIndividuals()) { if (!i.isAnonymous()) { OWLNamedIndividual namedInd = i.asOWLNamedIndividual(); if (!inds.contains(namedInd)) { inds.add(namedInd); stack.add(namedInd); } } } } } } } return new OWLNamedIndividualNode(inds); }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(getRootObject())) { addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
.flatMap(ont -> ont.getSameIndividualAxioms(subject.getEntity()).stream()) .flatMap(ax -> ax.getIndividuals().stream()) .filter(OWLIndividual::isNamed)
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(getRootObject())) { addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(getRootObject())) { addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
/** * Refills the section with rows. This method will be called * by the system and should be directly called. */ protected void refill(OWLOntology ontology) { for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(getRootObject())) { addRow(new OWLSameIndividualsAxiomFrameSectionRow(getOWLEditorKit(), this, ontology, getRootObject(), ax)); } }
for (OWLOntology ontology : getOntologies()) { Set<OWLIndividual> inds = new TreeSet<OWLIndividual>(); for (OWLSameIndividualAxiom ax : ontology.getSameIndividualAxioms(individual)) { if (isDisplayed(ax)) { inds.addAll(ax.getIndividuals());
Set<OWLIndividual> inds = new TreeSet<OWLIndividual>(); for (OWLSameIndividualAxiom ax : ontology .getSameIndividualAxioms(individual)) { if (isDisplayed(ax)) { inds.addAll(ax.getIndividuals());