com.hp.hpl.jena.reasoner.rulesys
Class OWLMiniReasoner

java.lang.Object
  extended by com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
      extended by com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
          extended by com.hp.hpl.jena.reasoner.rulesys.OWLMiniReasoner
All Implemented Interfaces:
Reasoner, RuleReasoner

public class OWLMiniReasoner
extends GenericRuleReasoner
implements Reasoner

Reasoner configuration for the OWL mini reasoner. Key limitations over the normal OWL configuration are:


Nested Class Summary
 
Nested classes/interfaces inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
GenericRuleReasoner.RuleMode
 
Field Summary
 
Fields inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
BACKWARD, filterFunctors, FORWARD, FORWARD_RETE, HYBRID
 
Constructor Summary
OWLMiniReasoner(ReasonerFactory factory)
          Constructor
 
Method Summary
 InfGraph bind(Graph data)
          Attach the reasoner to a set of RDF data to process.
 Capabilities getGraphCapabilities()
          Return the Jena Graph Capabilties 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 com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
addPreprocessingHook, bindSchema, removePreprocessingHook, setFunctorFiltering, setMode, setOWLTranslation, setRules, setTransitiveClosureCaching
 
Methods inherited from class com.hp.hpl.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 com.hp.hpl.jena.reasoner.Reasoner
addDescription, bindSchema, bindSchema, getReasonerCapabilities, setDerivationLogging, setParameter, supportsProperty
 

Constructor Detail

OWLMiniReasoner

public OWLMiniReasoner(ReasonerFactory factory)
Constructor

Method Detail

loadRules

public static List<Rule> loadRules()
Return the rule set, loading it in if necessary


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.

getGraphCapabilities

public Capabilities getGraphCapabilities()
Return the Jena Graph Capabilties that the inference graphs generated by this reasoner are expected to conform to.

Specified by:
getGraphCapabilities in interface Reasoner
Overrides:
getGraphCapabilities in class FBRuleReasoner


Licenced under the Apache License, Version 2.0