edu.stanford.smi.protegex.owl.testing.style
Classes 
MinCardiZeroTest
PrimitiveSubclassesDisjointTest
SingleAssertedSuperclassTest
SubclassesRestrictionDuplicatesThatOfSuperTest