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-distribution 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.
 */
public interface AxiomAppearance {

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