org.semanticweb.owlapi.reasonerfactory.hermit
Class HermiTReasonerFactory

java.lang.Object
  extended by org.semanticweb.owlapi.reasonerfactory.hermit.HermiTReasonerFactory
All Implemented Interfaces:
OWLReasonerFactory

public class HermiTReasonerFactory
extends java.lang.Object
implements OWLReasonerFactory

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 06-Dec-2008 A reasoner factory for creating an instance of the HermiT reasoner.


Constructor Summary
HermiTReasonerFactory()
           
 
Method Summary
 OWLReasoner createReasoner(OWLOntologyManager manager, java.util.Set<OWLOntology> ontologies)
          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

HermiTReasonerFactory

public HermiTReasonerFactory()
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,
                                  java.util.Set<OWLOntology> ontologies)
                           throws OWLReasonerSetupException
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.
Throws:
OWLReasonerSetupException