All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

The newest version!
package edu.stanford.protege.webprotege.index;

import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassAxiom;

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

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 2020-11-09
 */
public interface ClassHierarchyChildrenAxiomsIndex extends Index {

    @Nonnull
    Stream getChildrenAxioms(@Nonnull OWLClass cls);

    boolean isLeaf(@Nonnull OWLClass cls);
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy