How to getDerivation from Openllet?

[Steve Vestal]

When I create an OntModel using OntModelSpec.OWL_DL_MEM_RULE_INF, InfGraph#getDerivation returns a derivation.  When I switch to PelletReasonerFactory.THE_SPEC (the only choice), I get a null result.  I have tried setDerivationLogging(true) on both the Reasoner and the InfGraph.  Reasoner#getReasonerCapabilities() result doesn't seem to say anything about the ability to provide a derivation in either case.  The openllet github site says it can explain inferences.  Does anyone know how to turn that on?

OpenPGP_signature
Description: OpenPGP digital signature