edu.stanford.smi.protegex.owl.testing.sanity
Classes 
FacetConstraintsTest
InverseOfFunctionalMustBeInverseFunctionalTest
InverseOfInverseFunctionalMustBeFunctionalTest
InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest
InverseOfSymmetricPropertyMustBeSymmetricPropertyTest
InverseOfTopLevelPropertyMustBeTopLevelPropertyTest
InverseOfTransitivePropertyMustBeTransitivePropertyTest
InversePropertyMustHaveMatchingRangeAndDomainTest
PropertyDomainEmptyTest
PropertyDomainRedundancyTest
PropertyRangeRedundancyTest
SubpropertyDomainMustNarrowTest
SubpropertyRangeMustNarrowTest
SymmetricPropertyMustHaveEqualRangeAndDomainTest