Examples with OWLNamedIndividualData edu.stanford.bmir.protege.web.shared.entity.OWLNamedIndividualData used on opensource projects

Example 6 with OWLNamedIndividualData

use of edu.stanford.bmir.protege.web.shared.entity.OWLNamedIndividualData in project webprotege by protegeproject.

the class GetIndividualsActionHandler method execute.

@Nonnull
@Override
public GetIndividualsResult execute(@Nonnull GetIndividualsAction action, @Nonnull ExecutionContext executionContext) {
    Stream<OWLNamedIndividual> stream;
    if (action.getType().isOWLThing()) {
        stream = rootOntology.getIndividualsInSignature(Imports.INCLUDED).stream();
    } else {
        stream = rootOntology.getImportsClosure().stream().flatMap(o -> o.getClassAssertionAxioms(action.getType()).stream()).map(OWLClassAssertionAxiom::getIndividual).filter(OWLIndividual::isNamed).map(OWLIndividual::asOWLNamedIndividual);
    }
    Counter counter = new Counter();
    List<OWLNamedIndividualData> individualsData = stream.peek(i -> counter.increment()).map(renderingManager::getRendering).filter(i -> {
        String searchString = action.getFilterString();
        return searchString.isEmpty() || StringUtils.containsIgnoreCase(i.getBrowserText(), searchString);
    }).distinct().sorted().collect(toList());
    PageRequest pageRequest = action.getPageRequest();
    Pager<OWLNamedIndividualData> pager = Pager.getPagerForPageSize(individualsData, pageRequest.getPageSize());
    Page<OWLNamedIndividualData> page = pager.getPage(pageRequest.getPageNumber());
    OWLClassData type = renderingManager.getRendering(action.getType());
    logger.info(BROWSING, "{} {} retrieved instances of {} ({})", projectId, executionContext.getUserId(), action.getType(), renderingManager.getRendering(action.getType()).getBrowserText());
    return new GetIndividualsResult(type, page, counter.getCount(), individualsData.size());
}

Example 7 with OWLNamedIndividualData

use of edu.stanford.bmir.protege.web.shared.entity.OWLNamedIndividualData in project webprotege by protegeproject.

the class IndividualsListPresenter method handleCreateIndividuals.

private void handleCreateIndividuals() {
    controller.clear();
    controller.setEntityType(EntityType.NAMED_INDIVIDUAL);
    controller.setCreateEntityHandler(createFromText -> {
        dispatchServiceManager.execute(new CreateNamedIndividualsAction(projectId, currentType, createFromText), result -> {
            Set<OWLNamedIndividualData> individuals = result.getIndividuals();
            view.addListData(individuals);
            if (!individuals.isEmpty()) {
                OWLNamedIndividualData next = individuals.iterator().next();
                view.setSelectedIndividual(next);
            }
        });
    });
    WebProtegeDialog.showDialog(controller);
}