| Package | Description |
|---|---|
| org.semanticweb.owlapi.reasoner |
OWLReasoner package
|
| org.semanticweb.owlapi.reasoner.impl |
OWLReasoner implementation package
|
| org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation package
|
| Modifier and Type | Class and Description |
|---|---|
class |
SimpleConfiguration
A simple configuration with the general options.
|
| Modifier and Type | Method and Description |
|---|---|
OWLReasonerConfiguration |
IllegalConfigurationException.getConfiguration() |
| Modifier and Type | Method and Description |
|---|---|
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,
OWLReasonerConfiguration config)
Creates a buffering reasoner that reasons over the imports closure of the
specified ontology.
|
| Constructor and Description |
|---|
IllegalConfigurationException(String message,
OWLReasonerConfiguration configuration) |
IllegalConfigurationException(String message,
Throwable cause,
OWLReasonerConfiguration configuration) |
IllegalConfigurationException(Throwable cause,
OWLReasonerConfiguration configuration) |
| Modifier and Type | Method and Description |
|---|---|
OWLReasonerConfiguration |
OWLReasonerBase.getReasonerConfiguration() |
| Modifier and Type | Method and Description |
|---|---|
OWLReasoner |
StructuralReasonerFactory.createNonBufferingReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
OWLReasoner |
StructuralReasonerFactory.createReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
| Constructor and Description |
|---|
StructuralReasoner(OWLOntology rootOntology,
OWLReasonerConfiguration configuration,
BufferingMode bufferingMode) |
Copyright © 2016 The University of Manchester. All Rights Reserved.