Package | Description |
---|---|
org.semanticweb.owlapi.reasoner | |
org.semanticweb.owlapi.reasoner.structural |
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 © 2017 The University of Manchester. All Rights Reserved.