Interface AxiomAppearance

Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

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

    Modifier and Type
    Method
    Description
    boolean
     
  • Method Details

    • appearsMultipleTimes

      boolean appearsMultipleTimes(OWLAxiom ax)
      Parameters:
      ax - an axiom
      Returns:
      true if ax appears more than once as annotated source.