Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> hp >> hpl >> jena >> reasoner >> [ rulesys overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

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

java.lang.Object
  com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner
      com.hp.hpl.jena.reasoner.rulesys.OWLFBRuleReasoner

All Implemented Interfaces:

com.hp.hpl.jena.reasoner.Reasoner, RuleReasoner

---

public class OWLFBRuleReasoner

extends FBRuleReasoner

A hybrid forward/backward implementation of the OWL closure rules.

Version:

$Revision: 1.16 $ on $Date: 2005/02/21 12:17:00 $

---

Field Summary
protected static org.apache.commons.logging.Log	logger
protected static java.lang.String	RULE_FILE           The location of the OWL rule definitions on the class path
protected static java.util.List	ruleSet           The parsed rules
protected static FBRuleInfGraph	staticPreload           The precomputed axiom closure and compiled rule set

 

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

cachePreload, capabilities, configuration, factory, preload, recordDerivations, rules, schemaGraph, traceOn

 

Constructor Summary
private	OWLFBRuleReasoner(OWLFBRuleReasoner parent, com.hp.hpl.jena.reasoner.InfGraph schemaGraph)           Internal constructor, used to generated a partial binding of a schema to a rule reasoner instance.
	OWLFBRuleReasoner(com.hp.hpl.jena.reasoner.ReasonerFactory factory)           Constructor

 

Method Summary
com.hp.hpl.jena.reasoner.InfGraph	bind(com.hp.hpl.jena.graph.Graph data)           Attach the reasoner to a set of RDF data to process.
com.hp.hpl.jena.reasoner.Reasoner	bindSchema(com.hp.hpl.jena.graph.Graph tbox)           Precompute the implications of a schema graph.
private  void	checkArgGraph(com.hp.hpl.jena.graph.Graph g)           Check an argument graph to make sure it is not an OWL rule graph already and if so log a warning message.
com.hp.hpl.jena.reasoner.InfGraph	getPreload()           Get the single static precomputed rule closure.
static java.util.List	loadRules()           Return the rule set, loading it in if necessary

 

Methods inherited from class com.hp.hpl.jena.reasoner.rulesys.FBRuleReasoner

addDescription, addRules, bindSchema, doSetParameter, doSetRDFNodeParameter, doSetResourceParameter, getGraphCapabilities, getReasonerCapabilities, getRules, isTraceOn, loadConfiguration, loadRules, setDerivationLogging, setParameter, setRules, setTraceOn, supportsProperty, tablePredicate

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

RULE_FILE

protected static final java.lang.String RULE_FILE

The location of the OWL rule definitions on the class path

See Also:

Constant Field Values

---

ruleSet

protected static java.util.List ruleSet

The parsed rules

---

staticPreload

protected static FBRuleInfGraph staticPreload

The precomputed axiom closure and compiled rule set

---

logger

protected static org.apache.commons.logging.Log logger

Constructor Detail

OWLFBRuleReasoner

public OWLFBRuleReasoner(com.hp.hpl.jena.reasoner.ReasonerFactory factory)

Constructor

---

OWLFBRuleReasoner

private OWLFBRuleReasoner(OWLFBRuleReasoner parent,
                          com.hp.hpl.jena.reasoner.InfGraph schemaGraph)

Internal constructor, used to generated a partial binding of a schema to a rule reasoner instance.

Method Detail

loadRules

public static java.util.List loadRules()

Return the rule set, loading it in if necessary

---

bindSchema

public com.hp.hpl.jena.reasoner.Reasoner bindSchema(com.hp.hpl.jena.graph.Graph tbox)
                                             throws com.hp.hpl.jena.reasoner.ReasonerException

Precompute the implications of a schema graph. The statements in the graph will be combined with the data when the final InfGraph is created.

Specified by:

bindSchema in interface com.hp.hpl.jena.reasoner.Reasoner

Overrides:

bindSchema in class FBRuleReasoner

---

bind

public com.hp.hpl.jena.reasoner.InfGraph bind(com.hp.hpl.jena.graph.Graph data)
                                       throws com.hp.hpl.jena.reasoner.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 com.hp.hpl.jena.reasoner.Reasoner

Overrides:

bind in class FBRuleReasoner

---

getPreload

public com.hp.hpl.jena.reasoner.InfGraph getPreload()

Get the single static precomputed rule closure.

Overrides:

getPreload in class FBRuleReasoner

---

checkArgGraph

private void checkArgGraph(com.hp.hpl.jena.graph.Graph g)

Check an argument graph to make sure it is not an OWL rule graph already and if so log a warning message.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> com >> hp >> hpl >> jena >> reasoner >> [ rulesys overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---