Subclasses of AbstractOWLTest in edu.stanford.smi.protegex.owl.testing.sanity |
class |
FacetConstraintsTest
|
class |
InverseOfFunctionalMustBeInverseFunctionalTest
|
class |
InverseOfInverseFunctionalMustBeFunctionalTest
|
class |
InverseOfSubpropertyMustBeSubpropertyOfInverseOfSuperpropertyTest
|
class |
InverseOfSymmetricPropertyMustBeSymmetricPropertyTest
|
class |
InverseOfTopLevelPropertyMustBeTopLevelPropertyTest
|
class |
InverseOfTransitivePropertyMustBeTransitivePropertyTest
|
class |
InversePropertyMustHaveMatchingRangeAndDomainTest
|
class |
PropertyDomainEmptyTest
|
class |
PropertyDomainRedundancyTest
|
class |
PropertyRangeRedundancyTest
|
class |
SubpropertyDomainMustNarrowTest
|
class |
SubpropertyRangeMustNarrowTest
|
class |
SymmetricPropertyMustHaveEqualRangeAndDomainTest
|