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 OWLFBRuleReasonerFactory  

java.lang.Object
  com.hp.hpl.jena.reasoner.rulesys.OWLFBRuleReasonerFactory

All Implemented Interfaces:

com.hp.hpl.jena.reasoner.ReasonerFactory

---

public class OWLFBRuleReasonerFactory

extends java.lang.Object

implements com.hp.hpl.jena.reasoner.ReasonerFactory

Factory class for creating blank instances of the OWL Reasoner.

The reasoner can be configured using three properties (set as properties of the base reasonder URI in a configuration model). These are:

• derivationLogging - if set to true this causes all derivations to be recorded in an internal data structure for replay through the getDerivation 55 method.
• traceOn - if set to true this causes all rule firings and deduced triples to be written out to the Log at INFO level.
• ruleThreshold - which limits the number of rules that can be fired on a single data processing stage to the given number (useful to limit infinite runaways).

Version:

$Revision: 1.14 $ on $Date: 2005/04/11 11:17:06 $

---

Field Summary
protected  com.hp.hpl.jena.rdf.model.Model	capabilities           Cache of the capabilities description
private static com.hp.hpl.jena.reasoner.ReasonerFactory	theInstance           Single global instance of this factory
static java.lang.String	URI           Static URI for this reasoner type

 

Constructor Summary

OWLFBRuleReasonerFactory()

 

Method Summary
com.hp.hpl.jena.reasoner.Reasoner	create(com.hp.hpl.jena.rdf.model.Resource configuration)           Constructor method that builds an instance of the associated Reasoner
com.hp.hpl.jena.rdf.model.Model	getCapabilities()           Return a description of the capabilities of this reasoner encoded in RDF.
java.lang.String	getURI()           Return the URI labelling this type of reasoner
static com.hp.hpl.jena.reasoner.ReasonerFactory	theInstance()           Return the single global instance of this factory

 

Methods inherited from class java.lang.Object

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

 

Field Detail

theInstance

private static com.hp.hpl.jena.reasoner.ReasonerFactory theInstance

Single global instance of this factory

---

URI

public static final java.lang.String URI

Static URI for this reasoner type

See Also:

Constant Field Values

---

capabilities

protected com.hp.hpl.jena.rdf.model.Model capabilities

Cache of the capabilities description

Constructor Detail

OWLFBRuleReasonerFactory

public OWLFBRuleReasonerFactory()

Method Detail

theInstance

public static com.hp.hpl.jena.reasoner.ReasonerFactory theInstance()

Return the single global instance of this factory

---

create

public com.hp.hpl.jena.reasoner.Reasoner create(com.hp.hpl.jena.rdf.model.Resource configuration)

Constructor method that builds an instance of the associated Reasoner

Specified by:

create in interface com.hp.hpl.jena.reasoner.ReasonerFactory

---

getCapabilities

public com.hp.hpl.jena.rdf.model.Model getCapabilities()

Return a description of the capabilities of this reasoner encoded in RDF. This method is normally called by the ReasonerRegistry which caches the resulting information so dynamically creating here is not really an overhead.

Specified by:

getCapabilities in interface com.hp.hpl.jena.reasoner.ReasonerFactory

---

getURI

public java.lang.String getURI()

Return the URI labelling this type of reasoner

Specified by:

getURI in interface com.hp.hpl.jena.reasoner.ReasonerFactory

---

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

---