Package | Description |
---|---|
org.semanticweb.owlapi.reasoner | |
org.semanticweb.owlapi.reasoner.structural |
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.
|
Modifier and Type | Method and Description |
---|---|
OWLReasoner |
StructuralReasonerFactory.createNonBufferingReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
OWLReasoner |
StructuralReasonerFactory.createReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
Copyright © 2017 The University of Manchester. All Rights Reserved.