public class GenericRuleReasoner extends FBRuleReasoner
Modifier and Type | Class and Description |
---|---|
static class |
GenericRuleReasoner.RuleMode
Class used as an enum for describing rule modes.
|
Modifier and Type | Field and Description |
---|---|
static GenericRuleReasoner.RuleMode |
BACKWARD
Constant - the mode description for pure backward chaining
|
boolean |
filterFunctors
Flag, if true then find results will be filtered to remove functors and illegal RDF
|
static GenericRuleReasoner.RuleMode |
FORWARD
Constant - the mode description for pure forward chaining
|
static GenericRuleReasoner.RuleMode |
FORWARD_RETE
Constant - the mode description for pure forward chaining, using RETE engine
|
static GenericRuleReasoner.RuleMode |
HYBRID
Constant - the mode description for mixed forward/backward, this is the default mode
|
Constructor and Description |
---|
GenericRuleReasoner(List<Rule> rules)
Constructor.
|
GenericRuleReasoner(List<Rule> rules,
ReasonerFactory factory)
Constructor
|
GenericRuleReasoner(ReasonerFactory factory,
Resource configuration)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addPreprocessingHook(RulePreprocessHook hook)
Add a new preprocessing hook defining an operation that
should be run when the inference graph is being prepared.
|
InfGraph |
bind(Graph data)
Attach the reasoner to a set of RDF data to process.
|
Reasoner |
bindSchema(Graph tbox)
Precompute the implications of a schema graph.
|
void |
removePreprocessingHook(RulePreprocessHook hook)
Remove a preprocessing hook.
|
void |
setFunctorFiltering(boolean param)
Set to true to cause functor-valued literals to be dropped from rule output.
|
void |
setMode(GenericRuleReasoner.RuleMode mode)
Set the direction of rule inference desired.
|
void |
setOWLTranslation(boolean enableOWLTranslation)
Set to true to enable translation of selected parts of an OWL schema
to additional rules.
|
void |
setRules(List<Rule> rules)
Set (or change) the rule set that this reasoner should execute.
|
void |
setTransitiveClosureCaching(boolean enableTGCCaching)
Set to true to enable caching of subclass/subproperty lattices in a
specialized cache rather than using the rule systems.
|
addDescription, addRules, bindSchema, getBoundSchema, getGraphCapabilities, getReasonerCapabilities, getRules, isTraceOn, loadRules, setDerivationLogging, setParameter, setTraceOn, supportsProperty, tablePredicate
public boolean filterFunctors
public static final GenericRuleReasoner.RuleMode FORWARD
public static final GenericRuleReasoner.RuleMode FORWARD_RETE
public static final GenericRuleReasoner.RuleMode BACKWARD
public static final GenericRuleReasoner.RuleMode HYBRID
public GenericRuleReasoner(List<Rule> rules)
rules
- a list of Rule instances which defines the ruleset to processpublic GenericRuleReasoner(ReasonerFactory factory, Resource configuration)
factory
- the parent reasoner factory which is consulted to answer capability questionsconfiguration
- RDF node to configure the rule set and mode, can be nullpublic GenericRuleReasoner(List<Rule> rules, ReasonerFactory factory)
rules
- a list of Rule instances which defines the ruleset to processfactory
- the parent reasoner factory which is consulted to answer capability questionspublic void setMode(GenericRuleReasoner.RuleMode mode)
public void setRules(List<Rule> rules)
setRules
in interface RuleReasoner
setRules
in class FBRuleReasoner
rules
- a list of Rule objectspublic void setOWLTranslation(boolean enableOWLTranslation)
public void setTransitiveClosureCaching(boolean enableTGCCaching)
public void setFunctorFiltering(boolean param)
public void addPreprocessingHook(RulePreprocessHook hook)
public void removePreprocessingHook(RulePreprocessHook hook)
public Reasoner bindSchema(Graph tbox) throws ReasonerException
bindSchema
in interface Reasoner
bindSchema
in class FBRuleReasoner
tbox
- the ontology axioms or rule set encoded in RDFReasonerException
- if the reasoner cannot be
bound to a rule set in this way, for example if the underlying engine
can only accept a single rule set in this way and one rule set has
already been bound in of if the ruleset is illformed.public InfGraph bind(Graph data) throws ReasonerException
bind
in interface Reasoner
bind
in class FBRuleReasoner
data
- the RDF data to be processed, some reasoners may restrict
the range of RDF which is legal here (e.g. syntactic restrictions in OWL).ReasonerException
- if the data is ill-formed according to the
constraints imposed by this reasoner.Licenced under the Apache License, Version 2.0