Uses of Interface
org.semanticweb.owl.inference.OWLClassReasoner

Packages that use OWLClassReasoner

com.clarkparsia.explanation
org.semanticweb.owl.inference
org.semanticweb.owl.util
uk.ac.manchester.cs.owl.inference.dig11

Uses of OWLClassReasoner in com.clarkparsia.explanation

Methods in com.clarkparsia.explanation that return OWLClassReasoner

OWLClassReasoner	SingleExplanationGeneratorImpl.getAltReasoner()
OWLClassReasoner	SingleExplanationGeneratorImpl.getReasoner()
OWLClassReasoner	SingleExplanationGenerator.getReasoner() Returns the reasoner associated with this generator.
OWLClassReasoner	HSTExplanationGenerator.getReasoner()

Methods in com.clarkparsia.explanation with parameters of type OWLClassReasoner

void	SingleExplanationGeneratorImpl.setReasoner(OWLClassReasoner reasoner)
void	SingleExplanationGenerator.setReasoner(OWLClassReasoner reasoner) Sets the reasoner that will be used to generate explanations.
void	HSTExplanationGenerator.setReasoner(OWLClassReasoner reasoner)

Uses of OWLClassReasoner in org.semanticweb.owl.inference

Subinterfaces of OWLClassReasoner in org.semanticweb.owl.inference

interface	MonitorableOWLReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007 An OWLReasoner whose classification progress can be monitored.
interface	OWLReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 14-Nov-2006 A reasoner that provides reasoning support for class, property and individual reasoning.

Classes in org.semanticweb.owl.inference that implement OWLClassReasoner

class	MonitorableOWLReasonerAdapter Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007
class	NullReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 02-Jun-2008 A reasoner that does nothing.
class	OWLReasonerAdapter Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 18-Mar-2007

Uses of OWLClassReasoner in org.semanticweb.owl.util

Classes in org.semanticweb.owl.util that implement OWLClassReasoner

class	OWLReasonerMediator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Apr-2007 Acts as mediator with an OWLReasoner.
class	ToldClassHierarchyReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 22-Nov-2006 A very simple syntactic (and therefore incomplete) reasoner, which provides information about the told named class hierarchy for an ontology and its imports closure.

Uses of OWLClassReasoner in uk.ac.manchester.cs.owl.inference.dig11

Classes in uk.ac.manchester.cs.owl.inference.dig11 that implement OWLClassReasoner

class

DIGReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 21-Nov-2006 A DIG reasoner supports queries about classes and individual.