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

java.lang.Object
  com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
      com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
          com.hp.hpl.jena.reasoner.rulesys.RDFSForwardRuleReasoner

All Implemented Interfaces:

Reasoner, RuleReasoner

public class RDFSForwardRuleReasoner
extends GenericRuleReasoner

A pure forward chaining implementation of the RDFS closure rules based upon the basic forward rule interpreter. The normal mixed forward/backward implementation is generally preferred but this has two possible uses. First, it is a test and demonstration of the forward chainer. Second, if you want all the RDFS entailments for an entire dataset the forward chainer will be more efficient.

Version:

$Revision: 1.1 $ on $Date: 2009-06-29 08:55:38 $

Author:

Dave Reynolds

Nested Class Summary

Nested classes/interfaces inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner

GenericRuleReasoner.RuleMode

Field Summary

static String

RULE_FILE The location of the OWL rule definitions on the class path

Fields inherited from class com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner

BACKWARD, filterFunctors, FORWARD, FORWARD_RETE, HYBRID

Constructor Summary

RDFSForwardRuleReasoner(ReasonerFactory parent)
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<Rule>	loadRules() Return the RDFS 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, 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

Field Detail

RULE_FILE

public static final String RULE_FILE

The location of the OWL rule definitions on the class path

See Also:

Constant Field Values

Constructor Detail

RDFSForwardRuleReasoner

public RDFSForwardRuleReasoner(ReasonerFactory parent)

Constructor

Method Detail

loadRules

public static List<Rule> loadRules()

Return the RDFS 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