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

Packages that use OWLReasoner

Package	Description
com.clarkparsia.owlapi.explanation
com.clarkparsia.owlapi.modularity.locality
org.semanticweb.owlapi.metrics
org.semanticweb.owlapi.modularity
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.reasoner.impl
org.semanticweb.owlapi.reasoner.knowledgeexploration
org.semanticweb.owlapi.reasoner.structural
org.semanticweb.owlapi.util
uk.ac.manchester.cs.owlapi.modularity

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()
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.
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 com.clarkparsia.owlapi.modularity.locality

Fields in com.clarkparsia.owlapi.modularity.locality declared as OWLReasoner

Modifier and Type	Field and Description
protected OWLReasoner	SemanticLocalityEvaluator.reasoner The reasoner.

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, OWLOntologyManager owlOntologyManager)

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
protected abstract void	InferredEntityAxiomGenerator.addAxioms(E entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<A> result) Adds inferred axioms to a results set.
protected void	InferredDisjointClassesAxiomGenerator.addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDisjointClassesAxiom> result)
protected void	InferredEquivalentClassAxiomGenerator.addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentClassesAxiom> result)
protected void	InferredSubClassAxiomGenerator.addAxioms(OWLClass entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLSubClassOfAxiom> result)
protected void	InferredDataPropertyCharacteristicAxiomGenerator.addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLDataPropertyCharacteristicAxiom> result)
protected void	InferredEquivalentDataPropertiesAxiomGenerator.addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentDataPropertiesAxiom> result)
protected void	InferredSubDataPropertyAxiomGenerator.addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLSubDataPropertyOfAxiom> result)
protected void	InferredClassAssertionAxiomGenerator.addAxioms(OWLNamedIndividual entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLClassAssertionAxiom> result)
protected void	InferredPropertyAssertionGenerator.addAxioms(OWLNamedIndividual entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLPropertyAssertionAxiom<?,?>> result)
protected void	InferredEquivalentObjectPropertyAxiomGenerator.addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentObjectPropertiesAxiom> result)
protected void	InferredInverseObjectPropertiesAxiomGenerator.addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLInverseObjectPropertiesAxiom> result)
protected void	InferredObjectPropertyCharacteristicAxiomGenerator.addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLObjectPropertyCharacteristicAxiom> result)
protected void	InferredSubObjectPropertyAxiomGenerator.addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLSubObjectPropertyOfAxiom> result)
protected void	InferredObjectPropertyCharacteristicAxiomGenerator.addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom, OWLReasoner reasoner, Set<OWLObjectPropertyCharacteristicAxiom> result)
protected void	InferredObjectPropertyCharacteristicAxiomGenerator.addTransitiveAxiomIfEntailed(OWLObjectProperty property, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLObjectPropertyCharacteristicAxiom> result)
Set<A>	InferredEntityAxiomGenerator.createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)
Set<A>	InferredAxiomGenerator.createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)
protected Set<E>	InferredEntityAxiomGenerator.getAllEntities(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 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)
Set<OWLAxiom>	SyntacticLocalityModuleExtractor.extract(Set<OWLEntity> sig, int superClassLevel, int subClassLevel, OWLReasoner reasoner, boolean verbose) 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)