java.lang.Object
org.apache.jena.reasoner.rulesys.FBRuleReasoner
org.apache.jena.reasoner.rulesys.GenericRuleReasoner
org.apache.jena.reasoner.rulesys.RDFSRuleReasoner
- All Implemented Interfaces:
Reasoner
,RuleReasoner
A full implementation of RDFS reasoning using a hybrid rule system, together
with optimized subclass/subproperty closure using the transitive graph caches.
Implements the container membership property rules using an optional
data scanning hook. Implements datatype range validation.
-
Nested Class Summary
Nested classes/interfaces inherited from class org.apache.jena.reasoner.rulesys.GenericRuleReasoner
GenericRuleReasoner.RuleMode
-
Field Summary
Modifier and TypeFieldDescriptionstatic final String
Constant: used to indicate default RDFS processing levelstatic final String
Constant: used to indicate full RDFS processing levelstatic final String
Constant: used to indicate minimal RDFS processing levelFields inherited from class org.apache.jena.reasoner.rulesys.GenericRuleReasoner
BACKWARD, filterFunctors, FORWARD, FORWARD_RETE, HYBRID
-
Constructor Summary
ConstructorDescriptionRDFSRuleReasoner
(ReasonerFactory parent) ConstructorRDFSRuleReasoner
(ReasonerFactory factory, Resource configuration) Constructor -
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.Return the Jena Graph Capabilities that the inference graphs generated by this reasoner are expected to conform to.loadRulesLevel
(String level) Return the RDFS rule set, loading it in if necessary.Methods inherited from class org.apache.jena.reasoner.rulesys.GenericRuleReasoner
addPreprocessingHook, removePreprocessingHook, setFunctorFiltering, setMode, setOWLTranslation, setRules, setTransitiveClosureCaching
Methods inherited from class org.apache.jena.reasoner.rulesys.FBRuleReasoner
addDescription, addRules, bindSchema, getBoundSchema, getReasonerCapabilities, getRules, isTraceOn, loadRules, setDerivationLogging, setParameter, setTraceOn, supportsProperty, tablePredicate
-
Field Details
-
DEFAULT_RULES
Constant: used to indicate default RDFS processing level- See Also:
-
FULL_RULES
Constant: used to indicate full RDFS processing level- See Also:
-
SIMPLE_RULES
Constant: used to indicate minimal RDFS processing level- See Also:
-
-
Constructor Details
-
RDFSRuleReasoner
Constructor -
RDFSRuleReasoner
Constructor- Parameters:
factory
- the parent reasoner factory which is consulted to answer capability questionsconfiguration
- RDF information to configure the rule set and mode, can be null
-
-
Method Details
-
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 classGenericRuleReasoner
- 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.
-
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 classGenericRuleReasoner
- 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.
-
loadRulesLevel
Return the RDFS rule set, loading it in if necessary.- Parameters:
level
- a string defining the processing level required
-
getGraphCapabilities
Return the Jena Graph Capabilities that the inference graphs generated by this reasoner are expected to conform to.- Specified by:
getGraphCapabilities
in interfaceReasoner
- Overrides:
getGraphCapabilities
in classFBRuleReasoner
-