|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
Rule-based reasoner interface. This is the default rule reasoner to use. It supports both forward reasoning and backward reasoning, including use of forward rules to generate and instantiate backward rules.
Constructor Summary | |
FBRuleReasoner(java.util.List rules)
Constructor. |
|
FBRuleReasoner(java.util.List rules,
ReasonerFactory factory)
Constructor |
|
FBRuleReasoner(ReasonerFactory factory)
Constructor |
|
FBRuleReasoner(ReasonerFactory factory,
Resource configuration)
Constructor |
Method Summary | |
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. |
Model |
getCapabilities()
Return a description of the capabilities of this reasoner encoded in RDF. |
java.util.List |
getRules()
Return the this of Rules used by this reasoner |
boolean |
isTraceOn()
Return the state of the trace flag.If set to true then rule firings are logged out to the Log at "INFO" level. |
void |
setDerivationLogging(boolean logOn)
Switch on/off drivation logging. |
void |
setParameter(Property parameter,
java.lang.Object value)
Set a configuration parameter for the reasoner. |
void |
setRules(java.util.List rules)
Set (or change) the rule set that this reasoner should execute. |
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. |
void |
tablePredicate(Node predicate)
Register an RDF predicate as one whose presence in a goal should force the goal to be tabled. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public FBRuleReasoner(java.util.List rules)
rules
- a list of Rule instances which defines the ruleset to processpublic FBRuleReasoner(ReasonerFactory factory)
factory
- the parent reasoner factory which is consulted to answer capability questionspublic FBRuleReasoner(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 FBRuleReasoner(java.util.List 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 questionsMethod Detail |
public Model getCapabilities()
getCapabilities
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 API
public Reasoner bindSchema(Graph tbox) throws ReasonerException
bindSchema
in interface Reasoner
tbox
- the ontology axioms or rule set encoded in RDF
ReasonerException
- 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 RDF
ReasonerException
- 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 void setRules(java.util.List rules)
rules
- a list of Rule objectspublic java.util.List getRules()
public void tablePredicate(Node predicate)
public void setDerivationLogging(boolean logOn)
Default - false.
setDerivationLogging
in interface Reasoner
public void setTraceOn(boolean state)
public boolean isTraceOn()
public void setParameter(Property parameter, java.lang.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.
IllegalParameterException
- if the parameter is unknown
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |