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

java.lang.Object
  extended by 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:


Field Summary
static String URI
          Static URI for this reasoner type
 
Constructor Summary
OWLFBRuleReasonerFactory()
           
 
Method Summary
 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


Licenced under the Apache License, Version 2.0