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

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.OWLMicroReasoner
All Implemented Interfaces:
Reasoner, RuleReasoner

public class OWLMicroReasoner
extends GenericRuleReasoner
implements Reasoner

Reasoner configuration for the OWL micro reasoner. This only supports:

There is some experimental support for the cheaper class restriction handlingly which should not be relied on at this point.

Version:
$Revision: 1.4 $ on $Date: 2004/12/14 09:46:11 $
Author:
Dave Reynolds

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
OWLMicroReasoner(ReasonerFactory factory)
          Constructor
 
Method Summary
 Capabilities getGraphCapabilities()
          Return the Jena Graph Capabilties that the inference graphs generated by this reasoner are expected to conform to.
static List loadRules()
          Return the rule set, loading it in if necessary
 
Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
addPreprocessingHook, bind, bindSchema, removePreprocessingHook, setFunctorFiltering, setMode, setOWLTranslation, setRules, setTransitiveClosureCaching
 
Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
addDescription, addRules, bindSchema, 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, bind, bindSchema, bindSchema, getReasonerCapabilities, setDerivationLogging, setParameter, supportsProperty
 

Constructor Detail

OWLMicroReasoner

public OWLMicroReasoner(ReasonerFactory factory)
Constructor

Method Detail

loadRules

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


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


Copyright © 2000, 2001, 2002, 2003, 2004 Hewlett-Packard Development Company, LP