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

Classes FacetConstraintsTest InverseOfFunctionalMustBeInverseFunctionalTest InverseOfInverseFunctionalMustBeFunctionalTest InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest InverseOfSymmetricPropertyMustBeSymmetricPropertyTest InverseOfTopLevelPropertyMustBeTopLevelPropertyTest InverseOfTransitivePropertyMustBeTransitivePropertyTest InversePropertyMustHaveMatchingRangeAndDomainTest PropertyDomainEmptyTest PropertyDomainRedundancyTest PropertyRangeRedundancyTest SubpropertyDomainMustNarrowTest SubpropertyRangeMustNarrowTest SymmetricPropertyMustHaveEqualRangeAndDomainTest