Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.5 alpha
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package edu.stanford.smi.protegex.owl.testing.style

Class Summary
MinCardiZeroTest | Finds classes that have a minimum cardinality zero restriction.
PrimitiveSubclassesDisjointTest | Normalisation rule - all primitive siblings should be disjoint.
SingleAssertedSuperclassTest | Normalisation rule - classes should only have a single asserted named superclass, i.e., be a pure tree
SubclassesRestrictionDuplicatesThatOfSuperTest | Tests whether a subclass has a redundant restriction on it.

Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.5 alpha
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

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