org.semanticweb.owl.inference
Class NullReasonerFactory

java.lang.Object
  org.semanticweb.owl.inference.NullReasonerFactory

All Implemented Interfaces:

OWLReasonerFactory

public class NullReasonerFactory
extends java.lang.Object
implements OWLReasonerFactory

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 02-Jun-2008

A reasoner factory that creates instances of the NullReasoner. This is for use in situations where the Null Object pattern is required. (http://en.wikipedia.org/wiki/Null_Object_pattern).

Constructor Summary

NullReasonerFactory()

Method Summary

OWLReasoner	createReasoner(OWLOntologyManager manager) Creates a reasoner that uses the specified manager.
java.lang.String	getReasonerName() Gets the name of the reasoner that is created by this factory.

Methods inherited from class java.lang.Object

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

Constructor Detail

NullReasonerFactory

public NullReasonerFactory()

Method Detail

getReasonerName

public java.lang.String getReasonerName()

Description copied from interface: OWLReasonerFactory

Gets the name of the reasoner that is created by this factory.

Specified by:

getReasonerName in interface OWLReasonerFactory

Returns:

A string that represents the name of the reasoner.

createReasoner

public OWLReasoner createReasoner(OWLOntologyManager manager)

Description copied from interface: OWLReasonerFactory

Creates a reasoner that uses the specified manager.

Specified by:

createReasoner in interface OWLReasonerFactory

Parameters:

manager - The manager to be used (may be used by the reasoner to obtain a data factory etc.)

Returns:

A new reasoner.