Uses of Interface
org.semanticweb.owlapi.reasoner.OWLReasoner

Packages that use OWLReasoner

Package	Description
com.clarkparsia.owlapi.explanation	Explanation package.
org.semanticweb.owlapi.metrics	Metrics package.
org.semanticweb.owlapi.modularity	Modularity interface package.
org.semanticweb.owlapi.reasoner	OWLReasoner package.
org.semanticweb.owlapi.reasoner.impl	OWLReasoner implementation package.
org.semanticweb.owlapi.reasoner.knowledgeexploration	Knowledge exploration package.
org.semanticweb.owlapi.reasoner.structural	Structural reasoner implementation package.
org.semanticweb.owlapi.util	Utilities package.
org.semanticweb.owlapitools.decomposition
uk.ac.manchester.cs.owlapi.modularity	Modularity package.

Uses of OWLReasoner in com.clarkparsia.owlapi.explanation

Methods in com.clarkparsia.owlapi.explanation that return OWLReasoner

Modifier and Type	Method and Description
OWLReasoner	SingleExplanationGeneratorImpl.getReasoner()
OWLReasoner	SingleExplanationGenerator.getReasoner() Gets the reasoner.
OWLReasoner	HSTExplanationGenerator.getReasoner()

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

Constructor and Description
BlackBoxExplanation(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner) Instantiates a new black box explanation.
BlackBoxExplanation(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner, int fastPruningWindowSize) Instantiates a new black box explanation.
DefaultExplanationGenerator(OWLOntologyManager man, OWLReasonerFactory reasonerFactory, OWLOntology ontology, OWLReasoner reasoner, ExplanationProgressMonitor progressMonitor) Instantiates a new default explanation generator.
SingleExplanationGeneratorImpl(OWLOntology ontology, OWLReasonerFactory reasonerFactory, OWLReasoner reasoner) Instantiates a new single explanation generator impl.

Uses of OWLReasoner in org.semanticweb.owlapi.metrics

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

Constructor and Description
UnsatisfiableClassCountMetric(OWLReasoner reasoner) Instantiates a new unsatisfiable class count metric.

Uses of OWLReasoner in org.semanticweb.owlapi.modularity

Methods in org.semanticweb.owlapi.modularity with parameters of type OWLReasoner

Modifier and Type	Method and Description
Set<OWLAxiom>	OntologySegmenter.extract(Set<OWLEntity> signature, int superClassLevel, int subClassLevel, OWLReasoner reasoner) Returns a set of axioms that is a segment of the ontology associated with this segmenter.
OWLOntology	OntologySegmenter.extractAsOntology(Set<OWLEntity> signature, IRI iri, int superClassLevel, int subClassLevel, OWLReasoner reasoner) Returns an ontology that is a segment of the ontology associated with this segmenter.

Uses of OWLReasoner in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that return OWLReasoner

Modifier and Type	Method and Description
OWLReasoner	OWLReasonerFactory.createNonBufferingReasoner(OWLOntology ontology) Creates an OWLReasoner that reasons over the imports closure of the specified ontology.
OWLReasoner	OWLReasonerFactory.createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) Creates an OWLReasoner that reasons over the imports closure of the specified ontology.
OWLReasoner	OWLReasonerFactory.createReasoner(OWLOntology ontology) Creates a buffering reasoner that reasons over the imports closure of the specified ontology.
OWLReasoner	OWLReasonerFactory.createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) Creates a buffering reasoner that reasons over the imports closure of the specified ontology.

Uses of OWLReasoner in org.semanticweb.owlapi.reasoner.impl

Classes in org.semanticweb.owlapi.reasoner.impl that implement OWLReasoner

Modifier and Type	Class and Description
class	OWLReasonerBase

Uses of OWLReasoner in org.semanticweb.owlapi.reasoner.knowledgeexploration

Subinterfaces of OWLReasoner in org.semanticweb.owlapi.reasoner.knowledgeexploration

Modifier and Type	Interface and Description
interface	OWLKnowledgeExplorerReasoner Extension of OWLReasoner to allow access to reasoner completion graph.

Uses of OWLReasoner in org.semanticweb.owlapi.reasoner.structural

Classes in org.semanticweb.owlapi.reasoner.structural that implement OWLReasoner

Modifier and Type	Class and Description
class	StructuralReasoner This is a simple structural reasoner that essentially answers with told information.

Methods in org.semanticweb.owlapi.reasoner.structural that return OWLReasoner

Modifier and Type	Method and Description
OWLReasoner	StructuralReasonerFactory.createNonBufferingReasoner(OWLOntology ontology)
OWLReasoner	StructuralReasonerFactory.createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config)
OWLReasoner	StructuralReasonerFactory.createReasoner(OWLOntology ontology)
OWLReasoner	StructuralReasonerFactory.createReasoner(OWLOntology ontology, OWLReasonerConfiguration config)

Uses of OWLReasoner in org.semanticweb.owlapi.util

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

Modifier and Type	Method and Description
Set<A>	InferredEntityAxiomGenerator.createAxioms(OWLDataFactory df, OWLReasoner reasoner)
Set<A>	InferredAxiomGenerator.createAxioms(OWLDataFactory df, OWLReasoner reasoner)

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

Constructor and Description
InferredOntologyGenerator(OWLReasoner reasoner)
InferredOntologyGenerator(OWLReasoner reasoner, List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)

Uses of OWLReasoner in org.semanticweb.owlapitools.decomposition

Constructors in org.semanticweb.owlapitools.decomposition with parameters of type OWLReasoner

Constructor and Description
SemanticLocalityChecker(OWLReasoner r)

Uses of OWLReasoner in uk.ac.manchester.cs.owlapi.modularity

Methods in uk.ac.manchester.cs.owlapi.modularity with parameters of type OWLReasoner

Modifier and Type	Method and Description
Set<OWLAxiom>	SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig, int superClassLevel, int subClassLevel, OWLReasoner reasoner) Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as a set of axioms.
OWLOntology	SyntacticLocalityModuleExtractor.extractAsOntology(Set<OWLEntity> signature, IRI iri, int superClassLevel, int subClassLevel, OWLReasoner reasoner)