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 © 2020 The University of Manchester. All rights reserved.