uk.ac.man.cs.img.owl.inference
Classes
InferenceHelper
NonInferencingTaxonomyReasoner