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

Packages that use OWLSatisfiabilityChecker

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

Uses of OWLSatisfiabilityChecker in org.semanticweb.owl.debugging

Constructors in org.semanticweb.owl.debugging with parameters of type OWLSatisfiabilityChecker

BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager, OWLOntology ontology, OWLSatisfiabilityChecker reasoner)

Uses of OWLSatisfiabilityChecker in org.semanticweb.owl.inference

Subinterfaces of OWLSatisfiabilityChecker 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	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 OWLSatisfiabilityChecker

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

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

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

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

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.