Package org.apache.jena.reasoner.rulesys
Class OWLFBRuleReasoner
- java.lang.Object
-
- org.apache.jena.reasoner.rulesys.FBRuleReasoner
-
- org.apache.jena.reasoner.rulesys.OWLFBRuleReasoner
-
- All Implemented Interfaces:
Reasoner
,RuleReasoner
public class OWLFBRuleReasoner extends FBRuleReasoner
A hybrid forward/backward implementation of the OWL closure rules.
-
-
Constructor Summary
Constructors Constructor Description OWLFBRuleReasoner(ReasonerFactory factory)
Constructor
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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 java.util.List<Rule>
loadRules()
Return the rule set, loading it in if necessary-
Methods inherited from class org.apache.jena.reasoner.rulesys.FBRuleReasoner
addDescription, addRules, bindSchema, getBoundSchema, getGraphCapabilities, getReasonerCapabilities, getRules, isTraceOn, loadRules, setDerivationLogging, setParameter, setRules, setTraceOn, supportsProperty, tablePredicate
-
-
-
-
Constructor Detail
-
OWLFBRuleReasoner
public OWLFBRuleReasoner(ReasonerFactory factory)
Constructor
-
-
Method Detail
-
loadRules
public static java.util.List<Rule> loadRules()
Return the rule set, loading it in if necessary
-
bindSchema
public Reasoner bindSchema(Graph tbox) throws ReasonerException
Precompute the implications of a schema graph. The statements in the graph will be combined with the data when the final InfGraph is created.- Specified by:
bindSchema
in interfaceReasoner
- Overrides:
bindSchema
in classFBRuleReasoner
- Parameters:
tbox
- the ontology axioms or rule set encoded in RDF- Returns:
- a reasoner instace which can be used to process a data graph
- Throws:
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.
-
bind
public InfGraph bind(Graph data) throws ReasonerException
Attach the reasoner to a set of RDF data to process. The reasoner may already have been bound to specific rules or ontology axioms (encoded in RDF) through earlier bindRuleset calls.- Specified by:
bind
in interfaceReasoner
- Overrides:
bind
in classFBRuleReasoner
- Parameters:
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).- Returns:
- an inference graph through which the data+reasoner can be queried.
- Throws:
ReasonerException
- if the data is ill-formed according to the constraints imposed by this reasoner.
-
getPreload
public InfGraph getPreload()
Get the single static precomputed rule closure.
-
-