org.semanticweb.owlapi.util.AxiomAppearance Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of owlapi-api Show documentation

There is a newer version: 5.5.1

package org.semanticweb.owlapi.util;

import org.semanticweb.owlapi.model.OWLAxiom;

/**
 * An interface for checking if an axiom appears as annotated source multiple
 * times. This requires an id to be emitted.
 */
@FunctionalInterface
public interface AxiomAppearance {

    /**
     * @param ax an axiom
     * @return true if ax appears more than once as annotated source.
     */
    boolean appearsMultipleTimes(OWLAxiom ax);
}