Package edu.stanford.smi.protegex.owl.testing.sanity.tests

Class Summary
FacetConstraintsTestTestCase  
InverseOfSubSlotMustBeSubSlotOfInverseOfSuperSlotTestTestCase  
InverseOfTopLevelSlotMustBeTopLevelSlotTestTestCase  
PropertyRangeRedundancyTestTestCase  
SubPropertyRangeMustNarrowTestTestCase  
SymmetricSlotMustHaveEqualRangeAndDomainTestTestCase