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
FieldsModifier 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
ConstructorsConstructorDescriptionRDFSRuleReasoner
(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.Deprecated.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
Deprecated.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
-