Protégé-OWL 3.4.1

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 (ie be a pure tree)
SubclassesRestrictionDuplicatesThatOfSuperTest Tests whether a subclass has a redundant restriction on it.
 


Protégé-OWL 3.4.1

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