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

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

All Implemented Interfaces:

ReasonerFactory

public class DAMLMicroReasonerFactory
extends Object
implements ReasonerFactory

We do not support DAML inference. This factory creates a reasoner which is a slightly extended variant of the RDFS reasoner to support some interesting subsets of DAML that correspond roughly to what was there in Jena1. We hope.

Version:

$Revision: 1.1 $ on $Date: 2009-06-29 08:55:38 $

Author:

Dave Reynolds

Field Summary

static String

URI Static URI for this reasoner type

Constructor Summary

DAMLMicroReasonerFactory()

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

DAMLMicroReasonerFactory

public DAMLMicroReasonerFactory()

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 for the reasoner, this will be ignored in this case because the micro reasoner is not configurable

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