edu.stanford.smi.protegex.owl.testing.sanity
Class InverseOfTransitivePropertyMustBeTransitivePropertyTest

java.lang.Object
  extended byedu.stanford.smi.protegex.owl.testing.AbstractOWLTest
      extended byedu.stanford.smi.protegex.owl.testing.sanity.InverseOfTransitivePropertyMustBeTransitivePropertyTest
All Implemented Interfaces:
OWLTest, RDFPropertyTest, RepairableOWLTest

public class InverseOfTransitivePropertyMustBeTransitivePropertyTest
extends AbstractOWLTest
implements RDFPropertyTest, RepairableOWLTest

Author:
Holger Knublauch

Field Summary
 
Fields inherited from class edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
SANITY_GROUP
 
Constructor Summary
InverseOfTransitivePropertyMustBeTransitivePropertyTest()
           
 
Method Summary
static boolean fails(RDFProperty property)
           
 boolean repair(OWLTestResult testResult)
          Attempts to repair the cause of a given OWLTestResult.
 List test(RDFProperty property)
          Performs a check of a given property.
 
Methods inherited from class edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
getDocumentation, getGroup, getName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface edu.stanford.smi.protegex.owl.testing.OWLTest
getDocumentation, getGroup, getName
 

Constructor Detail

InverseOfTransitivePropertyMustBeTransitivePropertyTest

public InverseOfTransitivePropertyMustBeTransitivePropertyTest()
Method Detail

fails

public static boolean fails(RDFProperty property)

repair

public boolean repair(OWLTestResult testResult)
Description copied from interface: RepairableOWLTest
Attempts to repair the cause of a given OWLTestResult.

Specified by:
repair in interface RepairableOWLTest
Parameters:
testResult - the OWLTestResult encapsulating the error
Returns:
true if the repair was successful

test

public List test(RDFProperty property)
Description copied from interface: RDFPropertyTest
Performs a check of a given property.

Specified by:
test in interface RDFPropertyTest
Parameters:
property - the RDFProperty to check
Returns:
a list of OWLTestResult objects