org.semanticweb.owl.inference
Interface OWLReasonerFactory

All Known Implementing Classes:

FaCTPlusPlusReasonerFactory, NullReasonerFactory, PelletReasonerFactory

public interface OWLReasonerFactory

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 20-Jun-2007

Represents a reasoner creation point.

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.

Method Detail

getReasonerName

java.lang.String getReasonerName()

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

Returns:

A string that represents the name of the reasoner.

createReasoner

OWLReasoner createReasoner(OWLOntologyManager manager)

Creates a reasoner that uses the specified manager.

Parameters:

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

Returns:

A new reasoner.