org.semanticweb.HermiT
Class Reasoner.ReasonerFactory
java.lang.Object
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
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 |
Reasoner.ReasonerFactory
public Reasoner.ReasonerFactory()
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)