Classes
NoCardiRestrictionOnTransitivePropertiesOWLDLTest
NoClassesOrPropertiesInEnumerationsOWLDLTest
NoImportOfSystemOntologiesOWLDLTest
NoMetaclassOWLDLTest
NoPropertiesWithClassAsRangeOWLDLTest
NoSubclassesOfRDFClassesOWLDLTest
NoSuperOrSubPropertiesOfAnnotationPropertiesTest
TransitivePropertiesCannotBeFunctionalOWLDLTest |