java.lang.Object
org.apache.jena.reasoner.rulesys.FBRuleReasoner
org.apache.jena.reasoner.rulesys.GenericRuleReasoner
org.apache.jena.reasoner.rulesys.OWLMicroReasoner
- All Implemented Interfaces:
Reasoner
,RuleReasoner
Reasoner configuration for the OWL micro reasoner.
This only supports:
- RDFS entailments
- basic OWL axioms like ObjectProperty subClassOf Property
- intersectionOf, equivalentClass and forward implication of unionOf sufficient for traversal of explicit class hierarchies
- Property axioms (inversOf, SymmetricProperty, TransitiveProperty, equivalentProperty)
-
Nested Class Summary
Nested classes/interfaces inherited from class org.apache.jena.reasoner.rulesys.GenericRuleReasoner
GenericRuleReasoner.RuleMode
-
Field Summary
Fields inherited from class org.apache.jena.reasoner.rulesys.GenericRuleReasoner
BACKWARD, filterFunctors, FORWARD, FORWARD_RETE, HYBRID
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionAttach the reasoner to a set of RDF data to process.Return the Jena Graph Capabilities that the inference graphs generated by this reasoner are expected to conform to.Return the rule set, loading it in if necessaryMethods inherited from class org.apache.jena.reasoner.rulesys.GenericRuleReasoner
addPreprocessingHook, bindSchema, 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
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface org.apache.jena.reasoner.Reasoner
addDescription, bindSchema, bindSchema, getReasonerCapabilities, setDerivationLogging, setParameter, supportsProperty
-
Constructor Details
-
OWLMicroReasoner
Constructor
-
-
Method Details
-
loadRules
Return the rule set, loading it in if necessary -
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
-
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.
-