• Home
• edu.stanford.protege
• webprotege-backend-service
• 1.0.0
• source code
• DifferentIndividualsAxiomsIndex.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

edu.stanford.protege.webprotege.index.DifferentIndividualsAxiomsIndex Maven / Gradle / Ivy

package edu.stanford.protege.webprotege.index;


import edu.stanford.protege.webprotege.inject.ProjectSingleton;
import org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom;
import org.semanticweb.owlapi.model.OWLIndividual;
import org.semanticweb.owlapi.model.OWLOntologyID;

import javax.annotation.Nonnull;
import java.util.stream.Stream;

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 2019-08-22
 */
@ProjectSingleton
public interface DifferentIndividualsAxiomsIndex extends Index {

    @Nonnull
    Stream getDifferentIndividualsAxioms(@Nonnull OWLIndividual individual,
                                                                       @Nonnull OWLOntologyID ontologyId);
}