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

Modifier and Type	Method and 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