Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD