|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.GenericRuleReasoner
com.hp.hpl.jena.reasoner.rulesys.DAMLMicroReasoner
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.
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 |
public static final java.lang.String RULE_FILE
Constructor Detail |
public DAMLMicroReasoner(ReasonerFactory parent)
Method Detail |
public static java.util.List loadRules()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |