edu.stanford.protege.webprotege.mansyntax.ShellOntologyChecker Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of webprotege-backend-service Show documentation
The newest version!
package edu.stanford.protege.webprotege.mansyntax;

import edu.stanford.protege.webprotege.index.ProjectOntologiesIndex;
import edu.stanford.protege.webprotege.project.DefaultOntologyIdManager;
import edu.stanford.protege.webprotege.shortform.WebProtegeOntologyIRIShortFormProvider;
import org.semanticweb.owlapi.expression.OWLOntologyChecker;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyID;

import javax.annotation.Nonnull;
import javax.annotation.Nullable;
import javax.inject.Inject;

import static com.google.common.base.Preconditions.checkNotNull;

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 2019-08-22
 */
public class ShellOntologyChecker implements OWLOntologyChecker {

    @Nonnull
    private final ProjectOntologiesIndex projectOntologiesIndex;

    @Nonnull
    private final WebProtegeOntologyIRIShortFormProvider shortFormProvider;

    private final DefaultOntologyIdManager defaultOntologyIdManager;

    @Inject
    public ShellOntologyChecker(@Nonnull ProjectOntologiesIndex projectOntologiesIndex,
                                @Nonnull WebProtegeOntologyIRIShortFormProvider shortFormProvider,
                                DefaultOntologyIdManager defaultOntologyIdManager) {
        this.projectOntologiesIndex = checkNotNull(projectOntologiesIndex);
        this.shortFormProvider = checkNotNull(shortFormProvider);
        this.defaultOntologyIdManager = checkNotNull(defaultOntologyIdManager);
    }

    @Nullable
    @Override
    public OWLOntology getOntology(@Nullable String name) {
        if(name == null) {
            OWLOntologyID defaultOntologyId = defaultOntologyIdManager.getDefaultOntologyId();
            return ShellOwlOntology.get(defaultOntologyId);
        }
        return projectOntologiesIndex.getOntologyIds()
                                     .filter(ontId -> shortFormProvider.getShortForm(ontId)
                                                                       .equalsIgnoreCase(name))
                                     .findFirst()
                                     .map(ShellOwlOntology::new)
                                     .orElse(null);
    }
}