Package org.obolibrary.robot.reason

Interface EquivalentAxiomReasoningTest

  • public interface EquivalentAxiomReasoningTest
    Created by edouglass on 5/9/17.

    Performs a test on an OWLAxiom and states if it "fails". This will be up to the implementation

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      boolean fails​(org.semanticweb.owlapi.model.OWLAxiom axiom)
      Returns true if the given axiom fails the type of Test this Reasoning Test is.

    • Method Detail

      • fails

        boolean fails​(org.semanticweb.owlapi.model.OWLAxiom axiom)
        Returns true if the given axiom fails the type of Test this Reasoning Test is. For example, if no equivalent axioms are allowed, any axiom here should return false.
        Parameters:
        axiom - OWLAxiom
        Returns:
        boolean