edu.stanford.smi.protegex.owl.testing.owldl
Class NoCardiRestrictionOnTransitivePropertiesOWLDLTest

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

All Implemented Interfaces:

OWLDLTest, OWLTest, RDFSClassTest

public class NoCardiRestrictionOnTransitivePropertiesOWLDLTest

extends AbstractOWLTest

implements OWLDLTest, RDFSClassTest

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

NoCardiRestrictionOnTransitivePropertiesOWLDLTest()

Method Summary

static boolean	fails(RDFSClass aClass)
private static boolean	isTransitive(edu.stanford.smi.protege.model.Slot slot, Set reached)
List	test(RDFSClass aClass) Performs a check of a given RDFSClass.

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

NoCardiRestrictionOnTransitivePropertiesOWLDLTest

public NoCardiRestrictionOnTransitivePropertiesOWLDLTest()

Method Detail

fails

public static boolean fails(RDFSClass aClass)

isTransitive

private static boolean isTransitive(edu.stanford.smi.protege.model.Slot slot,
                                    Set reached)

test

public List test(RDFSClass aClass)

Description copied from interface: RDFSClassTest

Performs a check of a given RDFSClass.

Specified by:

test in interface RDFSClassTest

Parameters:

aClass - the RDFSClass to check

Returns:

a list of OWLTestResult objects