Protégé-OWL 3.4

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

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
      extended by 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

Protégé-OWL 3.4

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