Protégé-OWL 3.4.8

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

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


Protégé-OWL 3.4.8

Submit a bug report or feature request
Copyright (c) 1998-2012 Stanford University.