public class OWLFBRuleReasoner extends FBRuleReasoner
Constructor and Description |
---|
OWLFBRuleReasoner(ReasonerFactory factory)
Constructor
|
Modifier and Type | Method and Description |
---|---|
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 List<Rule> |
loadRules()
Return the rule set, loading it in if necessary
|
addDescription, addRules, bindSchema, getBoundSchema, getGraphCapabilities, getReasonerCapabilities, getRules, isTraceOn, loadRules, setDerivationLogging, setParameter, setRules, setTraceOn, supportsProperty, tablePredicate
public OWLFBRuleReasoner(ReasonerFactory factory)
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.public InfGraph getPreload()
Licenced under the Apache License, Version 2.0