org.semanticweb.owlapi.owllink.server.serverfactory
Class FaCTPlusPlusReasonerFactory

java.lang.Object
  org.semanticweb.owlapi.owllink.server.serverfactory.FaCTPlusPlusReasonerFactory

public class FaCTPlusPlusReasonerFactory
extends java.lang.Object

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

Adjusted to owlapiv3 reasoner.

Constructor Summary

FaCTPlusPlusReasonerFactory()

Method Summary

OWLReasoner	createReasoner(OWLOntologyManager manager, java.util.Set<OWLOntology> ontologies)
java.lang.String	getReasonerName()

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

createReasoner

public OWLReasoner createReasoner(OWLOntologyManager manager,
                                  java.util.Set<OWLOntology> ontologies)
                           throws OWLReasonerSetupException

Throws:

OWLReasonerSetupException