public class LPBackwardRuleReasoner extends Object implements Reasoner
| Constructor and Description |
|---|
LPBackwardRuleReasoner(List<Rule> rules)
Constructor.
|
LPBackwardRuleReasoner(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.
|
void |
tablePredicate(Node predicate)
Register an RDF predicate as one whose presence in a goal should force
the goal to be tabled.
|
public LPBackwardRuleReasoner(List<Rule> rules)
rules - a list of Rule instances which defines the ruleset to processpublic LPBackwardRuleReasoner(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 Reasonerpublic void addDescription(Model configSpec, Resource base)
addDescription in interface ReasonerconfigSpec - a Model into which the configuration information should be placedbase - the Resource to which the configuration parameters should be added.public void tablePredicate(Node predicate)
public boolean supportsProperty(Property property)
supportsProperty in interface Reasonerproperty - 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 Reasonertbox - 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 Reasonertbox - 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 Reasonerdata - 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 Reasonerpublic void setTraceOn(boolean state)
public void setParameter(Property parameter, Object value)
setParameter in interface Reasonerparameter - 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 ReasonerLicenced under the Apache License, Version 2.0