OWLMicroReasoner (Apache Jena)

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
```
public class OWLMicroReasoner
extends GenericRuleReasoner
implements Reasoner
```
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)
There is some experimental support for the cheaper class restriction handlingly which should not be relied on at this point.

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

Constructors
Constructor Description

OWLMicroReasoner(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.
`Capabilities`	`getGraphCapabilities()`	Return the Jena Graph Capabilities that the inference graphs generated by this reasoner are expected to conform to.
`static java.util.List<Rule>`	`loadRules()`	Return the rule set, loading it in if necessary

Methods 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 Detail
  - OWLMicroReasoner
```
public OWLMicroReasoner(ReasonerFactory factory)
```
    Constructor
- Method Detail
  - loadRules
```
public static java.util.List<Rule> loadRules()
```
    Return the rule set, loading it in if necessary
  - getGraphCapabilities
```
public Capabilities getGraphCapabilities()
```
    Return the Jena Graph Capabilities that the inference graphs generated by this reasoner are expected to conform to.
    
    Specified by:
    
    getGraphCapabilities in interface Reasoner
    
    Overrides:
    
    getGraphCapabilities in class FBRuleReasoner
  - 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 interface Reasoner
    
    Overrides:
    
    bind in class GenericRuleReasoner
    
    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.