edu.stanford.protege.webprotege.util.ClassExpression 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.util;

import org.semanticweb.owlapi.model.HasFiller;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLClassExpression;
import org.semanticweb.owlapi.model.OWLRestriction;

import javax.annotation.Nonnull;

/**
 * Matthew Horridge
 * Stanford Center for Biomedical Informatics Research
 * 19 Sep 2018
 */
public class ClassExpression {

    public static boolean isOWLClass(@Nonnull OWLClassExpression classExpression) {
        return !classExpression.isAnonymous();
    }

    @Nonnull
    public static OWLClass asOWLClass(@Nonnull OWLClassExpression classExpression) {
        return classExpression.asOWLClass();
    }

    public static Boolean isNotOwlThing(@Nonnull OWLClassExpression classExpression) {
        return !classExpression.isOWLThing();
    }

    public static boolean isPropertyNamed(@Nonnull OWLRestriction restriction) {
        return restriction.getProperty().isNamed();
    }

    public static boolean isFillerOwlClass(@Nonnull HasFiller filler) {
        return filler.getFiller() instanceof OWLClass;
    }

    public static boolean isFillerNamed(@Nonnull
                                        HasFiller hasFiller) {
        return hasFiller.getFiller().isNamed();
    }
}