Experimental change to the OWL hybrid rule reasoner.
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.10 $ on $Date: 2008/01/02 12:09:44 $ |