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

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

Packages that use OWLReasoner
org.semanticweb.owl.inference | Inference over OWL ontologies.
uk.ac.man.cs.img.owl.inference |
uk.ac.man.cs.img.owl.inference.dl |

Uses of OWLReasoner in org.semanticweb.owl.inference

Subinterfaces of OWLReasoner in org.semanticweb.owl.inference
`interface` | `OWLClassReasoner` A reasoner that provides reasoning over OWL classes.
`interface` | `OWLIndividualReasoner` A Reasoner for OWL Individuals.
`interface` | `OWLTaxonomyReasoner` A Taxonomy Reasoner for OWL ontologies.

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

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

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

Classes in uk.ac.man.cs.img.owl.inference.dl that implement OWLReasoner
`class` | `SimpleOWLReasoner` An OWL reasoner that uses a DIG reasoner to do the work.
`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