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

## Uses of Interface
org.semanticweb.owl.inference.OWLTaxonomyReasoner

Packages that use OWLTaxonomyReasoner
uk.ac.man.cs.img.owl.inference |
uk.ac.man.cs.img.owl.inference.dl |

Uses of OWLTaxonomyReasoner in uk.ac.man.cs.img.owl.inference

Classes in uk.ac.man.cs.img.owl.inference that implement OWLTaxonomyReasoner
`class` | `NonInferencingTaxonomyReasoner` A simple taxonomy reasoner.

Methods in uk.ac.man.cs.img.owl.inference with parameters of type OWLTaxonomyReasoner
`static void` | `InferenceHelper.dumpHierarchy(OWLTaxonomyReasoner reasoner, PrintWriter pw)` Dumps a textual rendering of the class hierarchy to the given writer
`static void` | `InferenceHelper.dumpHierarchyRDFS(OWLTaxonomyReasoner reasoner, PrintWriter pw)` Dumps the class hierarchy as RDFS
`static OWLOntology` | `InferenceHelper.hierarchyAsNewOntology(OWLTaxonomyReasoner reasoner)` Returns a new ontology which contains the classes from the original ontology along with any subclass information.

Uses of OWLTaxonomyReasoner in uk.ac.man.cs.img.owl.inference.dl

Classes in uk.ac.man.cs.img.owl.inference.dl that implement OWLTaxonomyReasoner
`class` | `SimpleOWLTaxonomyReasoner` A Taxonomy reasoner that relies on a DIG reasoner to do its reasoning.

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

WonderWeb