Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.5 alpha
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## edu.stanford.smi.protegex.owl.testing.sanity
Class InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest

    java.lang.Object
      edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
          edu.stanford.smi.protegex.owl.testing.sanity.InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest

All Implemented Interfaces:
  AutoRepairableOWLTest, OWLTest, RDFPropertyTest, RepairableOWLTest

    public class InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest

extends AbstractOWLTest
implements RDFPropertyTest, AutoRepairableOWLTest

Author:
  Holger Knublauch

Field Summary

Fields inherited from class edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
`SANITY_GROUP`

Constructor Summary
`InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest()`

Method Summary
`static boolean` | `fails(RDFProperty property)`
`static boolean` | `repair(OWLProperty 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`

Constructor Detail

### InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest

    public InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest()

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

### 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

Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.5 alpha
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Submit a bug report or feature request
Copyright (c) 1998-2012 Stanford University.