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.