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

## edu.stanford.smi.protegex.owl.testing.owldl
Class TransitivePropertiesCannotBeFunctionalOWLDLTest

    java.lang.Object
      edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
          edu.stanford.smi.protegex.owl.testing.owldl.TransitivePropertiesCannotBeFunctionalOWLDLTest

All Implemented Interfaces:
  OWLDLTest, OWLTest, RDFPropertyTest, RepairableOWLTest

    public class TransitivePropertiesCannotBeFunctionalOWLDLTest

extends AbstractOWLTest
implements OWLDLTest, RDFPropertyTest, RepairableOWLTest

Author:
  Holger Knublauch

Field Summary

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

Fields inherited from interface edu.stanford.smi.protegex.owl.testing.OWLDLTest
`GROUP`

Constructor Summary
`TransitivePropertiesCannotBeFunctionalOWLDLTest()`

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`

Methods inherited from interface edu.stanford.smi.protegex.owl.testing.OWLTest
`getDocumentation, getGroup, getName`

Methods inherited from interface edu.stanford.smi.protegex.owl.testing.OWLTest
`getDocumentation, getGroup, getName`

Constructor Detail

### TransitivePropertiesCannotBeFunctionalOWLDLTest

    public TransitivePropertiesCannotBeFunctionalOWLDLTest()

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

Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.4 rc1
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-2009 Stanford University.