edu.stanford.smi.protegex.owl.testing.sanity
Class InverseOfTransitivePropertyMustBeTransitivePropertyTest
java.lang.Object
edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
edu.stanford.smi.protegex.owl.testing.sanity.InverseOfTransitivePropertyMustBeTransitivePropertyTest
- All Implemented Interfaces:
- OWLTest, RDFPropertyTest, RepairableOWLTest
- public class InverseOfTransitivePropertyMustBeTransitivePropertyTest
- extends AbstractOWLTest
- implements RDFPropertyTest, RepairableOWLTest
- Author:
- Holger Knublauch
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
InverseOfTransitivePropertyMustBeTransitivePropertyTest
public InverseOfTransitivePropertyMustBeTransitivePropertyTest()
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