public class BasicForwardRuleReasoner extends Object implements Reasoner
Constructor and Description |
---|
BasicForwardRuleReasoner(List<Rule> rules)
Constructor.
|
BasicForwardRuleReasoner(List<Rule> rules,
ReasonerFactory factory)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addDescription(Model configSpec,
Resource base)
Add a configuration description for this reasoner into a partial
configuration specification model.
|
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.
|
Reasoner |
bindSchema(Model tbox)
Precompute the implications of a schema Model.
|
Capabilities |
getGraphCapabilities()
Return the Jena Graph Capabilties that the inference graphs generated
by this reasoner are expected to conform to.
|
Model |
getReasonerCapabilities()
Return a description of the capabilities of this reasoner encoded in
RDF.
|
List<Rule> |
getRules()
Return the this of Rules used by this reasoner
|
void |
setDerivationLogging(boolean logOn)
Switch on/off drivation logging.
|
void |
setParameter(Property parameter,
Object value)
Set a configuration paramter for the reasoner.
|
void |
setTraceOn(boolean state)
Set the state of the trace flag.
|
boolean |
supportsProperty(Property property)
Determine whether the given property is recognized and treated specially
by this reasoner.
|
public BasicForwardRuleReasoner(List<Rule> rules)
rules
- a list of Rule instances which defines the ruleset to processpublic BasicForwardRuleReasoner(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 Model getReasonerCapabilities()
getReasonerCapabilities
in interface Reasoner
public void addDescription(Model configSpec, Resource base)
addDescription
in interface Reasoner
configSpec
- a Model into which the configuration information should be placedbase
- the Resource to which the configuration parameters should be added.public boolean supportsProperty(Property property)
supportsProperty
in interface Reasoner
property
- the property which we want to ask the reasoner about, given as a Node since
this is part of the SPI rather than APIpublic Reasoner bindSchema(Graph tbox) throws ReasonerException
bindSchema
in interface Reasoner
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 Reasoner bindSchema(Model tbox) throws ReasonerException
bindSchema
in interface Reasoner
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
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.public List<Rule> getRules()
public void setDerivationLogging(boolean logOn)
Default - false.
setDerivationLogging
in interface Reasoner
public void setTraceOn(boolean state)
public void setParameter(Property parameter, Object value)
setParameter
in interface Reasoner
parameter
- the property identifying the parameter to be changedvalue
- the new value for the parameter, typically this is a wrapped
java object like Boolean or Integer.public Capabilities getGraphCapabilities()
getGraphCapabilities
in interface Reasoner
Licenced under the Apache License, Version 2.0