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

Packages that use OWLReasoner

Package	Description
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.reasoner.knowledgeexploration
org.semanticweb.owlapi.util

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
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)