com.hp.hpl.jena.reasoner.rulesys

Class OWLMiniReasonerFactory

java.lang.Object

com.hp.hpl.jena.reasoner.rulesys.OWLMiniReasonerFactory

All Implemented Interfaces:

ReasonerFactory

public class OWLMiniReasonerFactory
extends Object
implements ReasonerFactory

Reasoner factory for the OWL mini configuration. Key limitations over the normal OWL configuration are:

• omits the someValuesFrom => bNode entailments
• avoids any guard clauses which would break the find() contract
• omits inheritance of range implications for XSD datatype ranges

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
OWLMiniReasonerFactory()

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

OWLMiniReasonerFactory

public OWLMiniReasonerFactory()

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