org.semanticweb.reasonerfactory.pellet
Class PelletReasonerFactory

java.lang.Object
  org.semanticweb.reasonerfactory.pellet.PelletReasonerFactory

All Implemented Interfaces:

OWLReasonerFactory

public class PelletReasonerFactory
extends java.lang.Object
implements OWLReasonerFactory

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 08-Sep-2008

A reasoner factory for the pellet reasoner. Note that the appropriate pellet libraries must be in the class path. By default this class sets tracing enabled and turns off the various pellet logging mechanisms. There are various static methods to set these options though.

Field Summary

static java.lang.String

CLASS_NAME

Constructor Summary

PelletReasonerFactory()

Method Summary

OWLReasoner	createReasoner(OWLOntologyManager manager) Creates an instance of the pellet reasoner.
java.lang.String	getReasonerName() Gets the name of the reasoner that is created by this factory.
void	setABoxLogging(java.util.logging.Level level)
void	setKnowledgeBaseLogging(java.util.logging.Level level)
void	setLoggingLevel(java.lang.String className, java.util.logging.Level level)
void	setPelletVisitorLogging(java.util.logging.Level level)
void	setRBoxLogging(java.util.logging.Level level)
void	setTaxonomyLogging(java.util.logging.Level level)
void	setTracingEnabled(boolean b) Specifies whether or not tracing should be used.
void	turnOffLogging() Turns off pellet logging.

Methods inherited from class java.lang.Object

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

Field Detail

CLASS_NAME

public static final java.lang.String CLASS_NAME

See Also:

Constant Field Values

Constructor Detail

PelletReasonerFactory

public PelletReasonerFactory()

Method Detail

setTracingEnabled

public void setTracingEnabled(boolean b)

Specifies whether or not tracing should be used.

Parameters:

b - true if tracing should be used, otherwise false.

turnOffLogging

public void turnOffLogging()

Turns off pellet logging. This turns off ABox logging, Taxonomy logging, KnowledgeBase logging, RBox logging and PelletVisitor logging.

setPelletVisitorLogging

public void setPelletVisitorLogging(java.util.logging.Level level)

setRBoxLogging

public void setRBoxLogging(java.util.logging.Level level)

setKnowledgeBaseLogging

public void setKnowledgeBaseLogging(java.util.logging.Level level)

setTaxonomyLogging

public void setTaxonomyLogging(java.util.logging.Level level)

setABoxLogging

public void setABoxLogging(java.util.logging.Level level)

setLoggingLevel

public void setLoggingLevel(java.lang.String className,
                            java.util.logging.Level level)

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)

Creates an instance of the pellet reasoner.

Specified by:

createReasoner in interface OWLReasonerFactory

Parameters:

manager - The manager

Returns:

An instance of OWLReasoner that corresponds to the Pellet reasoner.