Module org.apache.jena.core

Package org.apache.jena.reasoner.rulesys

Class OWLMicroReasoner

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

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 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 Details

OWLMicroReasoner

public OWLMicroReasoner(ReasonerFactory factory)

Constructor

Method Details

loadRules

public static 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.