edu.stanford.smi.protegex.owl.testing.owldl
Classes 
NoCardiRestrictionOnTransitivePropertiesOWLDLTest
NoClassesOrPropertiesInEnumerationsOWLDLTest
NoImportOfSystemOntologiesOWLDLTest
NoMetaclassOWLDLTest
NoPropertiesWithClassAsRangeOWLDLTest
NoSubclassesOfRDFClassesOWLDLTest
NoSuperOrSubPropertiesOfAnnotationPropertiesTest
TransitivePropertiesCannotBeFunctionalOWLDLTest