Protégé-OWL 3.4.8

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

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
      extended by edu.stanford.smi.protegex.owl.testing.sanity.InverseOfInverseFunctionalMustBeFunctionalTest
All Implemented Interfaces:
AutoRepairableOWLTest, OWLTest, RDFPropertyTest, RepairableOWLTest

public class InverseOfInverseFunctionalMustBeFunctionalTest
extends AbstractOWLTest
implements AutoRepairableOWLTest, RDFPropertyTest

Author:
Holger Knublauch

Field Summary
 
Fields inherited from class edu.stanford.smi.protegex.owl.testing.AbstractOWLTest
SANITY_GROUP
 
Constructor Summary
InverseOfInverseFunctionalMustBeFunctionalTest()
           
 
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
 

Constructor Detail

InverseOfInverseFunctionalMustBeFunctionalTest

public InverseOfInverseFunctionalMustBeFunctionalTest()
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

Protégé-OWL 3.4.8

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