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

Packages that use OWLReasonerBase

org.semanticweb.owl.inference
org.semanticweb.owl.util
uk.ac.manchester.cs.owl.inference.dig11

Uses of OWLReasonerBase in org.semanticweb.owl.inference

Subinterfaces of OWLReasonerBase 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	OWLClassReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
interface	OWLConsistencyChecker Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
interface	OWLIndividualReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
interface	OWLPropertyReasoner Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
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.
interface	OWLSatisfiabilityChecker Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 01-Mar-2007 A minimal reasoner interface which allows the satisfiability of a class description to be checked.

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

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 OWLReasonerBase in org.semanticweb.owl.util

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

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 OWLReasonerBase in uk.ac.manchester.cs.owl.inference.dig11

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

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.