Package | Description |
---|---|
org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation package.
|
Modifier and Type | Method and Description |
---|---|
Version |
OWLReasoner.getReasonerVersion()
Gets the version of this reasoner.
|
Modifier and Type | Method and Description |
---|---|
Version |
StructuralReasoner.getReasonerVersion() |
Copyright © 2020 The University of Manchester. All rights reserved.