com.hp.hpl.jena.reasoner.rulesys

Class OWLFBRuleReasonerFactory

java.lang.Object

com.hp.hpl.jena.reasoner.rulesys.OWLFBRuleReasonerFactory

All Implemented Interfaces:

ReasonerFactory

public class OWLFBRuleReasonerFactory
extends Object
implements 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 method.
• traceOn - if set to true this causes all rule firings and deduced triples to be written out to the Logger at INFO level.

Field Summary

Fields

Modifier and Type	Field and Description
static String	URI Static URI for this reasoner type

Constructor Summary

Constructors

Constructor and Description
OWLFBRuleReasonerFactory()

Method Summary

Methods

Modifier and Type	Method and Description
Reasoner	create(Resource configuration) Constructor method that builds an instance of the associated Reasoner
Model	getCapabilities() Return a description of the capabilities of this reasoner encoded in RDF.
String	getURI() Return the URI labelling this type of reasoner
static ReasonerFactory	theInstance() Return the single global instance of this factory

Methods inherited from class java.lang.Object

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

Field Detail

URI

public static final String URI

Static URI for this reasoner type

See Also:

Constant Field Values

Constructor Detail

OWLFBRuleReasonerFactory

public OWLFBRuleReasonerFactory()

Method Detail

theInstance

public static ReasonerFactory theInstance()

Return the single global instance of this factory

create

public Reasoner create(Resource configuration)

Constructor method that builds an instance of the associated Reasoner

Specified by:

create in interface ReasonerFactory

Parameters:

configuration - a set of arbitrary configuration information to be passed the reasoner encoded within an RDF graph

getCapabilities

public 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 ReasonerFactory

getURI

public String getURI()

Return the URI labelling this type of reasoner

Specified by:

getURI in interface ReasonerFactory