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

Packages that use OWLReasoner

com.clarkparsia.explanation
org.semanticweb.owl.inference
org.semanticweb.owl.metrics
org.semanticweb.owl.util
org.semanticweb.reasonerfactory.factpp
org.semanticweb.reasonerfactory.pellet
uk.ac.manchester.cs.owl.inference.dig11

Uses of OWLReasoner in com.clarkparsia.explanation

Constructors in com.clarkparsia.explanation with parameters of type OWLReasoner

DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, OWLReasoner reasoner, ExplanationProgressMonitor progressMonitor)

Uses of OWLReasoner in org.semanticweb.owl.inference

Subinterfaces of OWLReasoner 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.

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

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

Methods in org.semanticweb.owl.inference that return OWLReasoner

OWLReasoner	OWLReasonerManagerImpl.createReasoner()
OWLReasoner	OWLReasonerManager.createReasoner() Creates a new instance of a reasoner using the current reasoner factory.
OWLReasoner	OWLReasonerFactory.createReasoner(OWLOntologyManager manager) Creates a reasoner that uses the specified manager.
OWLReasoner	NullReasonerFactory.createReasoner(OWLOntologyManager manager)
OWLReasoner	OWLReasonerManagerImpl.getReasoner()
OWLReasoner	OWLReasonerManager.getReasoner() Gets the currently cached reasoner.

Uses of OWLReasoner in org.semanticweb.owl.metrics

Constructors in org.semanticweb.owl.metrics with parameters of type OWLReasoner

UnsatisfiableClassCountMetric(OWLReasoner reasoner, OWLOntologyManager owlOntologyManager)

Uses of OWLReasoner in org.semanticweb.owl.util

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

class

OWLReasonerMediator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Apr-2007 Acts as mediator with an OWLReasoner.

Methods in org.semanticweb.owl.util that return OWLReasoner

OWLReasoner

OWLReasonerMediator.getKernel() Gets the real reasoner that this mediator wraps

Methods in org.semanticweb.owl.util with parameters of type OWLReasoner

java.util.Set<A>	InferredEntityAxiomGenerator.createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)
java.util.Set<A>	InferredAxiomGenerator.createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)

Constructors in org.semanticweb.owl.util with parameters of type OWLReasoner

InferredOntologyGenerator(OWLReasoner reasoner)

InferredOntologyGenerator(OWLReasoner reasoner, java.util.List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)

OWLReasonerMediator(OWLReasoner kernel)

Uses of OWLReasoner in org.semanticweb.reasonerfactory.factpp

Methods in org.semanticweb.reasonerfactory.factpp that return OWLReasoner

OWLReasoner

FaCTPlusPlusReasonerFactory.createReasoner(OWLOntologyManager manager)

Uses of OWLReasoner in org.semanticweb.reasonerfactory.pellet

Methods in org.semanticweb.reasonerfactory.pellet that return OWLReasoner

OWLReasoner

PelletReasonerFactory.createReasoner(OWLOntologyManager manager) Creates an instance of the pellet reasoner.

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

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

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.