org.semanticweb.owlapi.reasonerfactory.factpp
Class FaCTPlusPlusReasonerFactory

java.lang.Object
  extended by org.semanticweb.owlapi.reasonerfactory.factpp.FaCTPlusPlusReasonerFactory
All Implemented Interfaces:
OWLReasonerFactory

public class FaCTPlusPlusReasonerFactory
extends java.lang.Object
implements OWLReasonerFactory

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


Constructor Summary
FaCTPlusPlusReasonerFactory()
           
 
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

FaCTPlusPlusReasonerFactory

public FaCTPlusPlusReasonerFactory()
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