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