Package edu.stanford.smi.protegex.owl.inference.protegeowl.tests

Class Summary

DisjointTests	User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jun 1, 2005 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
IndividualTests	User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jun 2, 2005 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
SatisfiabilityTests	User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jun 1, 2005 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
SubsumptionTests	User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jun 1, 2005 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm