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.