|
Protégé-OWL 3.4 | ||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 (ie be a pure tree) |
SubclassesRestrictionDuplicatesThatOfSuperTest | Tests whether a subclass has a redundant restriction on it. |
|
Protégé-OWL 3.4 | ||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |