| Factory class for creating blank instances of the OWL Reasoner.
The reasoner can be configured using three properties (set as
properties of the base reasonder URI in a configuration model). These are:
- derivationLogging - if set to true this causes all derivations to
be recorded in an internal data structure for replay through the
com.hp.hpl.jena.reasoner.InfGraph.getDerivation getDerivation method.
- traceOn - if set to true this causes all rule firings and deduced triples to be
written out to the Log at INFO level.
- ruleThreshold - which limits the number of rules that can be fired on a single
data processing stage to the given number (useful to limit infinite runaways).
author: Dave Reynolds version: $Revision: 1.17 $ on $Date: 2008/01/02 12:07:47 $ |