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

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

All Implemented Interfaces:

Reasoner

public class DAMLMicroReasoner

extends GenericRuleReasoner

We do not support DAML inference. This is a slightly extended version of the RDFS reasoner to support some interesting subsets of DAML that correspond roughly to what was there in Jena1. We hope.

Version:

$Revision: 1.2 $ on $Date: 2003/08/27 13:09:18 $

Author:

Dave Reynolds

Nested Class Summary

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

GenericRuleReasoner.RuleMode

Field Summary

static java.lang.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

DAMLMicroReasoner(ReasonerFactory parent)
Constructor

Method Summary

static java.util.List

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, bindSchema, getCapabilities, getRules, isTraceOn, 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 java.lang.String RULE_FILE

The location of the OWL rule definitions on the class path

See Also:

Constant Field Values

Constructor Detail

DAMLMicroReasoner

public DAMLMicroReasoner(ReasonerFactory parent)

Constructor

Method Detail

loadRules

public static java.util.List loadRules()

Return the RDFS rule set, loading it in if necessary