org.semanticweb.HermiT
Class Reasoner.ReasonerFactory

java.lang.Object
  extended by org.semanticweb.HermiT.Reasoner.ReasonerFactory
All Implemented Interfaces:
org.semanticweb.owlapi.reasoner.OWLReasonerFactory
Enclosing class:
Reasoner

public static class Reasoner.ReasonerFactory
extends java.lang.Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory


Constructor Summary
Reasoner.ReasonerFactory()
           
 
Method Summary
protected  org.semanticweb.owlapi.reasoner.OWLReasoner createHermiTOWLReasoner(Configuration configuration, org.semanticweb.owlapi.model.OWLOntology ontology)
           
 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 owlAPIConfiguration)
           
 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)
           
protected  Configuration getProtegeConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration owlAPIConfiguration)
           
 java.lang.String getReasonerName()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Reasoner.ReasonerFactory

public Reasoner.ReasonerFactory()
Method Detail

getReasonerName

public java.lang.String getReasonerName()
Specified by:
getReasonerName 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

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                  org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
Specified by:
createReasoner 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

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                              org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration owlAPIConfiguration)
Specified by:
createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

getProtegeConfiguration

protected Configuration getProtegeConfiguration(org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration owlAPIConfiguration)

createHermiTOWLReasoner

protected org.semanticweb.owlapi.reasoner.OWLReasoner createHermiTOWLReasoner(Configuration configuration,
                                                                              org.semanticweb.owlapi.model.OWLOntology ontology)