owltools.reasoner

Class PrecomputingMoreReasonerFactory

java.lang.Object

owltools.reasoner.PrecomputingMoreReasonerFactory

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerFactory

public class PrecomputingMoreReasonerFactory
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Method Summary

Methods

Modifier and Type	Method and Description
org.semanticweb.owlapi.reasoner.OWLReasoner	createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
org.semanticweb.owlapi.reasoner.OWLReasoner	createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
org.semanticweb.owlapi.reasoner.OWLReasoner	createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
org.semanticweb.owlapi.reasoner.OWLReasoner	createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
static PrecomputingMoreReasonerFactory	getMoreHermitFactory()
static PrecomputingMoreReasonerFactory	getMoreJFactFactory()
String	getReasonerName()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getMoreHermitFactory

public static PrecomputingMoreReasonerFactory getMoreHermitFactory()

getMoreJFactFactory

public static PrecomputingMoreReasonerFactory getMoreJFactFactory()

getReasonerName

public String getReasonerName()

Specified by:

getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                     org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
                                                                       throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Specified by:

createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Throws:

org.semanticweb.owlapi.reasoner.IllegalConfigurationException

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                         org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
                                                           throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Specified by:

createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Throws:

org.semanticweb.owlapi.reasoner.IllegalConfigurationException