|
|||||||||||
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
com.hp.hpl.jena.reasoner.rulesys.OWLFBRuleReasoner
A hybrid forward/backward implementation of the OWL closure rules.
Constructor Summary | |
OWLFBRuleReasoner(ReasonerFactory factory)
Constructor |
Method Summary | |
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. |
InfGraph |
getPreload()
Get the single static precomputed rule closure. |
static java.util.List |
loadRules()
Return the rule set, loading it in if necessary |
Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner |
addDescription, bindSchema, getCapabilities, getRules, isTraceOn, setDerivationLogging, setParameter, setRules, setTraceOn, supportsProperty, tablePredicate |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public OWLFBRuleReasoner(ReasonerFactory factory)
Method Detail |
public static java.util.List loadRules()
public Reasoner bindSchema(Graph tbox) throws ReasonerException
bindSchema
in interface Reasoner
bindSchema
in class FBRuleReasoner
ReasonerException
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.public InfGraph getPreload()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |