edu.stanford.protege.webprotege.hierarchy.NamedIndividualClassAncestorChecker 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.hierarchy;

import edu.stanford.protege.webprotege.index.ClassAssertionAxiomsByIndividualIndex;
import edu.stanford.protege.webprotege.index.ProjectOntologiesIndex;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassAssertionAxiom;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLNamedIndividual;

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

/**
 * @author Matthew Horridge, Stanford University, Bio-Medical Informatics Research Group, Date: 26/02/2014
 */
public class NamedIndividualClassAncestorChecker implements HasHasAncestor {

    @Nonnull
    private final HasHasAncestor classAncestorChecker;

    @Nonnull
    private final ClassAssertionAxiomsByIndividualIndex axiomsIndex;

    @Nonnull
    private final ProjectOntologiesIndex projectOntologiesIndex;

    @Inject
    public NamedIndividualClassAncestorChecker(@Nonnull HasHasAncestor classAncestorChecker,
                                               @Nonnull ClassAssertionAxiomsByIndividualIndex axiomsIndex,
                                               @Nonnull ProjectOntologiesIndex projectOntologiesIndex) {
        this.axiomsIndex = axiomsIndex;
        this.classAncestorChecker = classAncestorChecker;
        this.projectOntologiesIndex = projectOntologiesIndex;
    }

    @Override
    public boolean hasAncestor(OWLNamedIndividual ind, OWLClass cls) {
        return projectOntologiesIndex.getOntologyIds()
                              .flatMap(ontId -> axiomsIndex.getClassAssertionAxioms(ind, ontId))
                              .map(OWLClassAssertionAxiom::getClassExpression)
                              .filter(OWLClassExpression::isNamed)
                              .map(OWLClassExpression::asOWLClass)
                              .anyMatch(ce -> ce.equals(cls) || classAncestorChecker.hasAncestor(ce, cls));
    }
}