| Package | Description |
|---|---|
| org.semanticweb.owlapi.reasoner |
| Modifier and Type | Class and Description |
|---|---|
class |
SimpleConfiguration
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 18-Mar-2009 |
| 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) |
Copyright © 2013 The University of Manchester. All Rights Reserved.