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

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

All Implemented Interfaces:

OWLTest, RDFPropertyTest, RepairableOWLTest

public class SymmetricPropertyMustHaveEqualRangeAndDomainTest

extends AbstractOWLTest

implements RepairableOWLTest, RDFPropertyTest

Author:

Holger Knublauch

Field Summary

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

SANITY_GROUP

Constructor Summary

SymmetricPropertyMustHaveEqualRangeAndDomainTest()

Method Summary

static boolean	fails(RDFProperty property)
private String	getListString(Collection items)
boolean	repair(OWLTestResult testResult) Attempts to repair the cause of a given OWLTestResult.
static void	repairDomainIntoRange(OWLProperty property)
static void	repairRangeIntoDomain(OWLProperty property)
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

SymmetricPropertyMustHaveEqualRangeAndDomainTest

public SymmetricPropertyMustHaveEqualRangeAndDomainTest()

Method Detail

fails

public static boolean fails(RDFProperty property)

getListString

private String getListString(Collection items)

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

repairDomainIntoRange

public static void repairDomainIntoRange(OWLProperty property)

repairRangeIntoDomain

public static void repairRangeIntoDomain(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