java.lang.Object
org.apache.jena.reasoner.rulesys.FBRuleReasoner
org.apache.jena.reasoner.rulesys.OWLFBRuleReasoner
- All Implemented Interfaces:
Reasoner
,RuleReasoner
A hybrid forward/backward implementation of the OWL closure rules.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionAttach the reasoner to a set of RDF data to process.bindSchema
(Graph tbox) Precompute the implications of a schema graph.Get the single static precomputed rule closure.Return the rule set, loading it in if necessaryMethods 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 Details
-
OWLFBRuleReasoner
Constructor
-
-
Method Details
-
loadRules
Return the rule set, loading it in if necessary -
bindSchema
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
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
Get the single static precomputed rule closure.
-