Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package uk.ac.man.cs.img.owl.inference

Class Summary
InferenceHelper A helper class that does some simple reasoning tasks.
NonInferencingTaxonomyReasoner A simple taxonomy reasoner.
 

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    
WonderWeb