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

Packages that use OWLReasoner

Package	Description
org.semanticweb.owlapi.reasoner	OWLReasoner package.
org.semanticweb.owlapi.reasoner.knowledgeexploration	Knowledge exploration package.
org.semanticweb.owlapi.util	Utilities package.

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.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.util

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

Modifier and Type	Method and Description
Set<A>	InferredAxiomGenerator.createAxioms(OWLDataFactory df, OWLReasoner reasoner)
Set<A>	InferredEntityAxiomGenerator.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)